From f64491c0a7ad60c976660e4cc61eca67d3549005 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Fri, 13 May 2016 20:15:20 -0400
Subject: [PATCH] Better use of console.warn and console.error in dataspace.js

---
 js/src/dataspace.js | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/js/src/dataspace.js b/js/src/dataspace.js
index d5bb7a4..449a6ef 100644
--- a/js/src/dataspace.js
+++ b/js/src/dataspace.js
@@ -139,10 +139,14 @@ Dataspace.prototype.asChild = function (pid, f, omitLivenessCheck) {
 };
 
 Dataspace.prototype.kill = function (pid, exn) {
-  if (exn && exn.stack) {
-    console.log("Process exiting", pid, exn, exn.stack);
-  } else if (exn || Dataspace.noisy) {
-    console.log("Process exiting", pid, exn);
+  if (exn) {
+    if (exn.stack) {
+      console.error("Process crashed", pid, exn, exn.stack);
+    } else {
+      console.error("Process crashed", pid, exn);
+    }
+  } else if (Dataspace.noisy) {
+    console.log("Process exiting", pid);
   }
   var p = this.processTable.get(pid);
   this.processTable = this.processTable.set(pid, { behavior: Dataspace.inertBehavior });