#!/bin/sh set -e # summary of how this script can be called: # * `install' # * `install' # * `upgrade' # * `abort-upgrade' # for details, see http://www.debian.org/doc/debian-policy/ case "$1" in install|upgrade) # Check if SourceGit is running and stop it if pgrep -f '/opt/sourcegit/sourcegit' > /dev/null; then echo "Stopping running SourceGit instance..." pkill -f '/opt/sourcegit/sourcegit' || true # Give the process a moment to terminate sleep 1 fi ;; abort-upgrade) ;; *) echo "preinst called with unknown argument \`$1'" >&2 exit 1 ;; esac exit 0