/**************************************************
** ARexx Script to stop the "TeX-Server" script. **
** 19.08.90 Georg Hessmann                       **
**************************************************/
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'
    'Exit'
  End
End; Else
  Okay1 "Kein TeX-Server vorhanden!"

Exit 0