From 2e84749315801bb4d56f3bcb0fd8949507047b9d Mon Sep 17 00:00:00 2001
From: penguinc <penguinc>
Date: Sun, 23 Jan 2005 06:56:24 +0000
Subject: [PATCH] Fixed some timing issues when a Stop is issued.

---
 start.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/start.php b/start.php
index 242620b..2666995 100644
--- a/start.php
+++ b/start.php
@@ -33,6 +33,7 @@ case 'stop':
                 $result->getMessage(), 'horde.error');
     } else {
         $notification->push(_("The server was stopped."), 'horde.success');
+        sleep(2);
     }
     break;
 case 'start':