Verified Commit c8098b5b authored by Camil Staps's avatar Camil Staps 🚀

Enhance --debug options

- Add extra possible command to debug the server, without gdb or valgrind
- Set debug to true
parent e54c0c5f
......@@ -211,7 +211,9 @@ function run (_opts) {
const exe='./''.exe';
const args=['serve','--electron-port',opts.port,'--port',opts.itasks_port];
if (process.argv.indexOf ('--debug')>=0){
console.log ('Run one of the following in a separate window:');
console.log (exe+' '+args.join (' '));
console.log ('gdb '+exe+' -ex \'r '+args.join (' ')+'\'');
console.log ('valgrind '+exe+' '+args.join (' '));
} else {
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment