home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 4 / FreshFish_May-June1994.bin / useful / dist / text / tex / pastex / rexx / ttx / quit_tex.ttx < prev    next >
Text File  |  1991-11-14  |  360b  |  17 lines
  1. /*
  2. ** ARexx Script to stop the "Start_TeX" script.
  3. **
  4. **            19.08.90    Georg Hessmann
  5. */
  6.  
  7. TRACE RESULTS
  8. OPTIONS RESULTS
  9.  
  10. IF (SHOW('P', 'Start_TeX')) THEN DO
  11.     RequestBool TITLE '"Quit TeX"' PROMPT '"Really stop ARexx TeX-server ?"'
  12.     if (RESULT == "YES") THEN ADDRESS 'Start_TeX' 'quit'
  13.     END
  14. ELSE
  15.     RequestBool TITLE '"???"' PROMPT '"No TeX-server to quit!"'
  16. EXIT 0
  17.