Index: runtime/include/dart_api.h |
diff --git a/runtime/include/dart_api.h b/runtime/include/dart_api.h |
index 93d6da504d184b881f8d3f8890317bc773bff27b..e8675bb28c18dca71ce65ef3ceacc1c62d234654 100644 |
--- a/runtime/include/dart_api.h |
+++ b/runtime/include/dart_api.h |
@@ -3131,6 +3131,20 @@ DART_EXPORT Dart_Handle Dart_SetPeer(Dart_Handle object, void* peer); |
/* |
+ * ====== |
+ * Kernel |
+ * ====== |
+ */ |
+ |
+ |
+DART_EXPORT bool Dart_IsKernelIsolate(Dart_Isolate isolate); |
Cutch
2016/12/01 19:47:23
doc comments
hausner
2016/12/03 01:29:00
Added todo.
|
+DART_EXPORT bool Dart_KernelIsolateIsRunning(); |
+DART_EXPORT Dart_Port Dart_ServiceWaitForKernelPort(); |
+DART_EXPORT Dart_Port Dart_KernelPort(); |
Cutch
2016/12/01 19:47:23
the API could be factored into something like this
hausner
2016/12/03 01:29:00
Good suggestion. I would like to wait with this un
|
+ |
+#define DART_KERNEL_ISOLATE_NAME "kernel-service" |
+ |
+/* |
* ======= |
* Service |
* ======= |