/*************************************************
** ARexx Script to stop the "Start_TeX" script. **
** 19.08.90 Georg Hessmann                      **
** 02.08.95 Andreas Scherer: Start server.      **
*************************************************/
Options Results

If Show('Port','Start_TeX') Then Do
  Okay2 "Soll der ARexx TeX-Server entfernt werden?"
  If RESULT = 1 Then Do
    Address 'Start_TeX' 'quit'
    Address COMMAND 'wait 2'
    Address 'showdvi' 'exit'
/*
** Clean up for defaults
*/
    'Load Dos/ARexx Commands' 'S:RexxCommands'
    'Load Definitions' 'S:CEDMacros'
    Specify 'S:CEDDefaults'
    'Change Current Directory' 'SYS:'
  End
End; Else Do
  Address Command "InitTeX"
  Address Command "WaitForPort Start_TeX"
End

/*
 * The `else' case previously was the line
 *   Okay1 "Kein TeX-Server vorhanden!"
 */

Exit 0