X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fcorekeeper.init;h=b7b2d4db63e99b522001b78764721c43776dd4d4;hb=1e86ae6f51bcc91d2fa36e4154bc6e540251eaf8;hp=27d62a12475ee725d9b2a737525ff53fe72cf37f;hpb=064af42167bf4fc9aaea2702d80ce08074b889c0;p=openvswitch

diff --git a/debian/corekeeper.init b/debian/corekeeper.init
index 27d62a12..b7b2d4db 100755
--- a/debian/corekeeper.init
+++ b/debian/corekeeper.init
@@ -6,6 +6,7 @@
 # adjust it to the program you want to run.
 #
 # Copyright (c) 2007 Javier Fernandez-Sanguino <jfs@debian.org>
+# Copyright (c) 2009 Nicira Networks, Inc.
 #
 # This is free software; you may redistribute it and/or modify
 # it under the terms of the GNU General Public License as
@@ -41,8 +42,8 @@ set -e
 
 case "$1" in
   start)
-	log_daemon_msg "Initializing core dump location..."
-        if echo "/var/log/core/core.%e.%t" > /proc/sys/kernel/core_pattern
+        log_daemon_msg "Initializing core dump location..."
+        if echo "/var/log/core/core.%e.%t.%p" > /proc/sys/kernel/core_pattern
         then
             log_progress_msg "success"
             log_end_msg 0
@@ -51,13 +52,13 @@ case "$1" in
             log_end_msg 1
             exit 1
         fi
-	;;
+        ;;
   stop|restart|force-reload|status|reload)
         exit 0
         ;;
   *)
-	N=/etc/init.d/$NAME
-	echo "Usage: $N {start|stop|restart|force-reload|status}" >&2
-	exit 1
-	;;
+        N=/etc/init.d/$NAME
+        echo "Usage: $N {start|stop|restart|force-reload|status}" >&2
+        exit 1
+        ;;
 esac