home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fonts 1 / freshfonts1.bin / programs / amiga / pastex / rexx / quit_tex.ced < prev    next >
Text File  |  1991-07-28  |  281b  |  16 lines
  1. /*
  2. ** ARexx Script to stop the "Start_TeX" script.
  3. **
  4. **            19.08.90    Georg Hessmann
  5. */
  6.  
  7. OPTIONS RESULTS
  8.  
  9. IF (SHOW('P', 'Start_TeX')) THEN DO
  10.     okay2 "Really stop ARexx TeX-server ?"
  11.     if (RESULT == "1") THEN ADDRESS 'Start_TeX' 'quit'
  12.     END
  13. ELSE
  14.     okay1 "No TeX-server to quit!"
  15. EXIT 0
  16.