diff options
| -rw-r--r-- | src/portal.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/portal.cc b/src/portal.cc index 93fed01..b8faae7 100644 --- a/src/portal.cc +++ b/src/portal.cc @@ -39,10 +39,12 @@ Formaline_Portal (CCTK_ARGUMENTS) /* Compiling */ +#if 0 { char const * const compile_user = CCTK_CompileUser(); conn.store ("compile user", compile_user); } +#endif { char const * const compile_date = CCTK_CompileDate(); @@ -58,10 +60,17 @@ Formaline_Portal (CCTK_ARGUMENTS) /* Running */ +#if 0 { char const * const run_user = CCTK_RunUser(); conn.store ("run user", run_user); } +#else + { + char const * const run_user = getenv ("USER"); + conn.store ("run user", run_user); + } +#endif { char run_date [1000]; |