scriptingcontrol
—
Scripting Control script for the Scripting Service
scriptingcontrol check-environment |
[Environment] [Keyring] |
scriptingcontrol run |
[Directory] [Input] [Output] [Status] [Environment] [Keyring] |
scriptingcontrol cleanup |
[Directory] [PID] [keeptempdirs] |
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.
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.
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.uni-due.de/~be0001/rserpool/