void consoleCmdOpen(char *path) { consoleCmdSource(path); }
void consoleExecFile(char *path) { consoleCmdSource(path); char *err=scriptCatchException(); if (err) consolePrintErr(err); }