Make WriteServ use WriteServ_NoFormat, code duplication = bad >:/

[user/henk/code/inspircd.git] / .inspircd.inc

diff --git a/.inspircd.inc b/.inspircd.inc
index f25a3a179eb7806b8a1044c9ccde6e46ccc99ad0..03be874c69c669059990fbe85f0c63158fd8dfd5 100644 (file)
--- a/.inspircd.inc
+++ b/.inspircd.inc
@@ -84,7 +84,6 @@ sub start {
         if (getstatus() == 1) { print "InspIRCd is already running.\n"; return 0; }
         # If we are still alive here.. Try starting the IRCd..
         system("$binpath/$executable");
-       sleep 2;
         return 1;
 }
 
@@ -92,7 +91,7 @@ sub debug {
         # Check to see its not 'running' already.
         if (getstatus() == 1) { print "InspIRCd is already running.\n"; return 0; }
         # If we are still alive here.. Try starting the IRCd..
-        system("gdb --eval-command=\"handle SIGPIPE pass nostop noprint\" --eval-command=\"run\" --args $binpath/$executable -nofork -debug");
+        system("gdb --command=.gdbargs --args $binpath/$executable -nofork -debug -nolog");
 }
 
 
@@ -102,7 +101,6 @@ sub stop {
         my $pid = getprocessid();
        print "Stopping InspIRCd...\n";
         system("kill -TERM $pid >/dev/null 2>&1");
-       sleep 2;
        if (getstatus() == 1)
        {
                print "InspIRCd not dying Quietly -- Forcing Kill\n";