scriptingcontrol — Scripting Control script for the Scripting Service

       The following options are available:

       check-environment|run|cleanup
               check-environment  is  used  to  check a newly downloaded environment file.  run is used when the
               session is started.  cleanup is used to kill all processes and remove the directory.

       Directory
               Gives the name of the temporary session directory.

       Input   Gives the name of the input file.

       Output  Gives the name of the output file.

       Status  Gives the name of the status file.

       Environment
               Gives the name of the environment file (if available).

       Keyring
               Gives the name of a GnuPG keyring  file  to  check  the  input  file  and  environment  file  (if
               available).

       PID     The  process  ID  (PID)  of  the  session's worker process. All of its children will be found and
               terminated during clean-up.

       keeptempdirs
               Do not delete temporary directory during clean-up.

scriptingcontrol is invoked when a new session is created by the scripting service PE. It takes the input
       file name and should create an output file of the given name.

       scriptingcontrol — Scripting Control script for the Scripting Service

       For a detailed introduction to RSerPool, see:
       https://duepublico.uni-duisburg-essen.de/servlets/DerivateServlet/Derivate-16326/Dre2006_final.pdf

       Thomas Dreibholz's RSerPool Page:
       https://www.nntb.no/~dreibh/rserpool/

Scripting Control                                 June 03, 2015                              ScriptingControl(1)

scriptingcontrolcheck-environment [Environment] [Keyring]
       scriptingcontrolrun [Directory] [Input] [Output] [Status] [Environment] [Keyring]
       scriptingcontrolcleanup [Directory] [PID] [keeptempdirs]