1 --- navigator-launch.sh.old 2005-06-14 17:19:23.000000000 +0200
2 +++ navigator-launch.sh 2005-06-14 17:19:37.000000000 +0200
4 # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
10 if [ "$1" != "start" ] && [ "$1" != "stop" ] && [ "$1" != "restart" ]; then
11 echo "Usage: $0 {start|stop|restart}"