From 2dc9e354f7ad4de4c4be0e3c8c5c0c1b7dd03aba Mon Sep 17 00:00:00 2001 From: David van Moolenbroek Date: Mon, 16 Nov 2009 18:22:28 +0000 Subject: [PATCH] ugly double blank line, my fault --- servers/pm/forkexit.c | 1 - 1 file changed, 1 deletion(-) diff --git a/servers/pm/forkexit.c b/servers/pm/forkexit.c index 72266c745..bc57d80ef 100644 --- a/servers/pm/forkexit.c +++ b/servers/pm/forkexit.c @@ -291,7 +291,6 @@ int dump_core; /* flag indicating whether to dump core */ panic(__FILE__, "exit_proc: FS died", r); } - /* Tell FS about the exiting process. */ m.m_type = dump_core ? PM_DUMPCORE : PM_EXIT; m.PM_PROC = rmp->mp_endpoint;