Fix the invirt-dev init script, because bash doesn't believe in
[invirt/packages/invirt-dev.git] / debian / invirt-dev.init
index 5957157..a5bc89a 100755 (executable)
@@ -35,6 +35,7 @@ do_start()
 
 do_stop()
 {
+    :
 }
 
 do_reload()