| 2139 | // uniform error formatting |
| 2140 | apps.errout = function node_apps_errout(errtext:string[]):void { |
| 2141 | const bell = function node_apps_errout_bell():void { |
| 2142 | apps.humantime(true); |
| 2143 | if (command === "build" || command === "simulation" || command === "validation") { |
| 2144 | console.log("\u0007"); // bell sound |
| 2145 | } else { |
| 2146 | console.log(""); |
| 2147 | } |
| 2148 | if (command !== "prettydiff_debug") { |
| 2149 | process.exit(1); |
| 2150 | } |
| 2151 | }, |
| 2152 | error = function node_apps_errout_error():void { |
| 2153 | const stack:string = new Error().stack.replace("Error", `${text.cyan}Stack trace${text.none + node.os.EOL}-----------`); |
| 2154 | console.log(""); |