(main, start_sever): Previous revision broke POSIX threads under

Linux.  Undo the problematic bit of the change.

diff --git a/src/server/main.c b/src/server/main.c
index a3a3264f7c35da345e0f91e95b9ab3d03158b783..c924e31ebdf206010ec221fc4e2db19a0bc2e1ed 100644 (file)
--- a/src/server/main.c
+++ b/src/server/main.c
@@ -206,6 +206,15 @@ main(int argc, char **argv)
 
     start_server(flags, config_file);
 
+#if defined(__linux__) && defined(_EMPTH_POSIX)
+    strcpy(tbuf, argv[0]);
+    for (op = 1; op < argc; op++) {
+       strcat(tbuf, " ");
+       strcat(tbuf, argv[op]);
+    }
+    sprintf(argv[0], "%s (main pid: %d)", tbuf, getpid());
+#endif
+
     empth_exit();
 
 /* We should never get here.  But, just in case... */
@@ -305,14 +314,6 @@ start_server(int flags, char *config_file)
        empth_create(PP_TIMESTAMP, market_update, (50 * 1024), flags,
                     "MarketUpdate", "Updates the market", 0);
     }
-#if defined(__linux__) && defined(_EMPTH_POSIX)
-    strcpy(tbuf, argv[0]);
-    for (op = 1; op < argc; op++) {
-       strcat(tbuf, " ");
-       strcat(tbuf, argv[op]);
-    }
-    sprintf(argv[0], "%s (main pid: %d)", tbuf, getpid());
-#endif
 }
 
 static void