home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 5 / FreshFish_July-August1994.bin / bbs / util / gedscripts-1.1.lha / GEDScripts / PasTeX / Quit_TeX.ged < prev    next >
Encoding:
Text File  |  1994-02-15  |  392 b   |  20 lines
  1. /*
  2. ** ARexx Script to stop the "Start_TeX" script.
  3. **
  4. **                      19.08.90        Georg Hessmann
  5. */
  6.  
  7. address "GOLDED.1"
  8.  
  9. OPTIONS RESULTS
  10.  
  11. IF (SHOW('P', 'Start_TeX')) THEN DO
  12.         'REQUEST BODY="Really stop ARexx TeX-server ?" BUTTON="Yep|Nope"'
  13.         if (RESULT == "1") THEN ADDRESS 'Start_TeX' 'quit'
  14.         END
  15. ELSE
  16.         'REQUEST BODY="No TeX Server to quit"'
  17.  
  18. EXIT 0
  19.  
  20.