Rev 6217 | Blame | Compare with Previous | Last modification | View Log | RSS feed
# Variable initialisation file.
# This file is read by wims for new sessions.
# content of the file: initialisation of the problem.
status=waiting
wims_module_log=$cmd