Bug #902

Updated by Serge Heiden almost 6 years ago

The JVM (and TXM) can refuse to start if the memory size asked is not available (for example, too big for the system).

The TXM launcher script must relaunch TXM with another memory setting.
* TXM must provide a return code:
** '0' means correct execution, the launcher can quit
** '1' means bad execution, the launcher must try another memory limit or default memory setting

Further solution: one day, we will loop by some decrement.