#!/bin/bash # # $Id$ # # clear cache and start osgi-runner after installing the package # /usr/share/osgi-runner/sh/create-osgi-user.sh if [ "$1" = "triggered" ] ; then PSLIST=$(ps -f) if echo $PSLIST | grep -q -- --auto-deconfigure then echo "osgi-runner-server.postinst triggered with --auto-deconfigure, skipping osgi-runner start." else echo "osgi-runner-server.postinst triggered, starting osgi-runner if not yet running." /etc/init.d/osgi-runner status > /dev/null || /etc/init.d/osgi-runner start exit 0 fi fi