#!/bin/sh # script to kill server if killable MASTER_DIR=/home/cur/pjb/webpages echo Content-type: text/html echo cat <Result of killing the application command EOF ./client -ck STATUS=$? echo STATUS = $STATUS # exit if kill succeeds or no server if test $STATUS = 100 -o $STATUS = 3; then echo "

Application has been killed; do you want to start again?" #/usr/local/cs/pkg/jdk/bin/java 2>&1 #echo after Java cat $MASTER_DIR/sticke/launch.html rm -f /tmp/entities.sgml # destroy previous entities file rm -f /tmp/entities.sgml #rm -f ../tmp/set_context_form.html # reset to default #ln ../forms/default_set_context_form.html ../tmp/set_context_form.html else echo "

KILL FAILED" ./generate_menu # to do: give error message with OK book in kill failure case fi echo "" echo `date` >> /home/cur/pjb/tmp/cgilog