Fix eshost -e 0

bakkot · rwaldron · commit 7fed7911aee5 · 2022-10-18T10:24:10.000-04:00
diff --git a/bin/eshost.js b/bin/eshost.js
@@ -336,7 +336,7 @@ if (fileArg) {
     }
   }
 
-  if (argv.e) {
+  if (argv.e != null) {
     let contents = `print(${argv.e})`;
     fs.writeFileSync(file, contents);
     runInEachHost({file, contents, attrs}, hosts);

Original file line number	Diff line number	Diff line change
`@@ -336,7 +336,7 @@ if (fileArg) {`
`336`	`336`	`}`
`337`	`337`	`}`
`338`	`338`
`339`		`- if (argv.e) {`
	`339`	`+ if (argv.e != null) {`
`340`	`340`	let contents = `print(${argv.e})`;
`341`	`341`	`fs.writeFileSync(file, contents);`
`342`	`342`	`runInEachHost({file, contents, attrs}, hosts);`