Add Cactus directory to source id instead of user name to make it

unique within a machine


git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@150 83718e91-0e4f-0410-abf4-91180603181f

1 files changed, 4 insertions, 0 deletions

diff --git a/src/id.hh b/src/id.hh
index 48228a4..7cce95e 100644
--- a/src/id.hh
+++ b/src/id.hh
@@ -6,6 +6,10 @@
 namespace Formaline
 {
   
+  // Get the configuration id
+  char const *
+  get_config_id (cGH const * const cctkGH);
+  
   // Get the unique source id
   char const *
   get_source_id (cGH const * const cctkGH);