pinokiod 3.0.3 → 3.0.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/kernel/shell.js +7 -1
- package/package.json +1 -1
package/kernel/shell.js
CHANGED
|
@@ -450,6 +450,9 @@ class Shell {
|
|
|
450
450
|
// params.message.push(`echo "SHELL FINISHED RUNNING"\r\n`)
|
|
451
451
|
// if params.message is empty, filter out
|
|
452
452
|
//let delimiter = " && "
|
|
453
|
+
|
|
454
|
+
params.message.push('echo "--- pinokio shell.run finished ---"')
|
|
455
|
+
|
|
453
456
|
let delimiter
|
|
454
457
|
if (this.platform === "win32") {
|
|
455
458
|
delimiter = " && "; // must use &&. & doesn't necessariliy wait until the curruent command finishes
|
|
@@ -817,7 +820,10 @@ ${cleaned}
|
|
|
817
820
|
// Decide whether to kill or continue
|
|
818
821
|
if (this.ready) {
|
|
819
822
|
// when ready, watch out for the prompt pattern that terminates with [\r\n ]
|
|
820
|
-
|
|
823
|
+
|
|
824
|
+
let termination_prompt_re = new RegExp("--- pinokio shell.run finished ---.*--- pinokio shell.run finished ---", "g")
|
|
825
|
+
|
|
826
|
+
//let termination_prompt_re = new RegExp(this.prompt_pattern + "[ \r\n]*$", "g")
|
|
821
827
|
let line = cleaned.replaceAll(/[\r\n]/g, "")
|
|
822
828
|
let test = line.match(termination_prompt_re)
|
|
823
829
|
if (test) {
|