From 88e4f795a689122d9244dcf63a3409b6220e21a5 Mon Sep 17 00:00:00 2001
From: penguinc <penguinc>
Date: Sun, 23 Jan 2005 07:23:18 +0000
Subject: [PATCH] Made the result message a bit more informative when stopping
 the server.

---
 start.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/start.php b/start.php
index 2666995..2d4ca6a 100644
--- a/start.php
+++ b/start.php
@@ -32,8 +32,9 @@ case 'stop':
         $notification->push(_("There was a problem stopping the server: ") .
                 $result->getMessage(), 'horde.error');
     } else {
-        $notification->push(_("The server was stopped."), 'horde.success');
-        sleep(2);
+        $notification->push(
+                _("The server was stopped. Reload if still running."),
+                'horde.success');
     }
     break;
 case 'start':