Formerly ../hurd/hurdsig.c.~21~
authorroland <roland>
Mon, 11 May 1992 19:10:26 +0000 (19:10 +0000)
committerroland <roland>
Mon, 11 May 1992 19:10:26 +0000 (19:10 +0000)
hurd/hurdsig.c

index d7f0464..34de17a 100644 (file)
@@ -76,7 +76,14 @@ write_corefile (int signo, int sigcode)
     /* User doesn't want a core.  */
     return 0;
 
-  coreserver = __path_lookup (_SERVERS_CORE, 0, 0);
+  name = getenv ("CORESERVER");
+  if (name != NULL)
+    coreserver = __path_lookup (name, 0, 0);
+  else
+    coreserver = MACH_PORT_NULL;
+
+  if (coreserver == MACH_PORT_NULL)
+    coreserver = __path_lookup (_SERVERS_CORE, 0, 0);
   if (coreserver == MACH_PORT_NULL)
     return 0;