Mini-mode now hides/shows tab group widget and has a separate label

[disorder] / debian / prerm.disorder-server

diff --git a/debian/prerm.disorder-server b/debian/prerm.disorder-server
index 19af4cb8ba9f31176a331a8a022938faaff4354c..93b7e237ae946ef0206b485fad66c10bec1fba63 100755 (executable)
--- a/debian/prerm.disorder-server
+++ b/debian/prerm.disorder-server
@@ -16,10 +16,10 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 #
-set -
+set -e
 case "$1" in
 upgrade )
-  /etc/init.d/disorder stop
+  invoke-rc.d disorder stop
   ;;
 failed-upgrade )
   # Upgrading from 2.0 to 3.0.x can provoke this problem.  The 2.0