also output the process ID in the Cactus banner printed at startup

(patch http://www.cactuscode.org/old/pipermail/patches/2009-February/000256.html)


git-svn-id: http://svn.cactuscode.org/flesh/trunk@4552 17b73243-c579-4c4c-a9d2-2d5706c11dac

1 files changed, 1 insertions, 1 deletions

diff --git a/src/main/Banner.c b/src/main/Banner.c
index fcac4ec1..2581e583 100644
--- a/src/main/Banner.c
+++ b/src/main/Banner.c
@@ -102,7 +102,7 @@ void CCTKi_CactusBanner (void)
   Util_CurrentTime (DATALENGTH, buffer);
   printf (" (%s)\n", buffer);
   Util_GetHostName (buffer, DATALENGTH);
-  printf ("Run host:          %s\n", buffer);
+  printf ("Run host:          %s (pid=%d)\n", buffer, (int) getpid());
   if (getcwd (buffer, DATALENGTH))
   {
     printf ("Working directory: %s\n", buffer);