DEFINITION MODULE Commands;

(*
    Title: 	useful commands for dispatcher
    LastEdit:	"Wed Feb 20 19:09:23 1985"
    Author: 	pr
		Cambridge University Computer Laboratory
*)


FROM Streams IMPORT Stream;

EXPORT QUALIFIED 
    Indirect, Shell, Pause;


(*  Three handy little routines that every dispatched program should have.
    Note that you may well wish to deactivate any GKS workstations
    before calling Pause or Shell.					  *)


PROCEDURE Indirect (in, out: Stream);
(*  process the specified indirect command file in the current contexts	  *)

PROCEDURE Shell (in, out: Stream);
(*  run a shell command							  *)

PROCEDURE Pause (in, out: Stream);
(*  hit the stop button in the C-shell					  *)


END Commands.
