/*
** ARexx Script to stop the "TeX-Server" script.
**
**			19.08.90	Georg Hessmann
*/

OPTIONS RESULTS


IF (SHOW('P', 'Start_TeX')) THEN DO
	okay2 "Really quit tex TeX-server?"
	IF (RESULT == "1") THEN ADDRESS 'Start_TeX' 'quit'
	END
ELSE
	okay1 "No TeX-server to quit!"
EXIT 0
