1 files changed, 7 insertions, 4 deletions
diff --git a/libdeno/api.cc b/libdeno/api.cc
index 4cb7b846b..ab87382c3 100644
--- a/libdeno/api.cc
+++ b/libdeno/api.cc
@@ -2,6 +2,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
+#include <iostream>
 #include <string>
 
 #include "third_party/v8/include/libplatform/libplatform.h"
@@ -10,6 +11,7 @@
 
 #include "deno.h"
 #include "exceptions.h"
+#include "file_util.h"
 #include "internal.h"
 
 extern "C" {
@@ -106,10 +108,11 @@ deno_buf deno_get_snapshot(Deno* d_) {
 static std::unique_ptr<v8::Platform> platform;
 
 void deno_init() {
-  CHECK_NULL(platform.get());
-  platform = v8::platform::NewDefaultPlatform();
-  v8::V8::InitializePlatform(platform.get());
-  v8::V8::Initialize();
+  if (platform.get() == nullptr) {
+    platform = v8::platform::NewDefaultPlatform();
+    v8::V8::InitializePlatform(platform.get());
+    v8::V8::Initialize();
+  }
 }
 
 const char* deno_v8_version() { return v8::V8::GetVersion(); }