Fix the invirt-dev init script, because bash doesn't believe in

[invirt/packages/invirt-dev.git] / debian / invirt-dev.init

diff --git a/debian/invirt-dev.init b/debian/invirt-dev.init
index 5957157..a5bc89a 100755 (executable)
--- a/debian/invirt-dev.init
+++ b/debian/invirt-dev.init
@@ -35,6 +35,7 @@ do_start()
 
 do_stop()
 {
+    :
 }
 
 do_reload()