1 files changed, 9 insertions, 3 deletions
diff --git a/src/rt/rust_srv.cpp b/src/rt/rust_srv.cpp
index d9223562..a5fcde9b 100644
--- a/src/rt/rust_srv.cpp
+++ b/src/rt/rust_srv.cpp
@@ -7,13 +7,14 @@
 
 rust_srv::rust_srv() :
     local_region(this, false),
-    synchronized_region(this, true),
-    kernel(new rust_kernel(this)) {
+    synchronized_region(this, true) {
     // Nop.
 }
 
 rust_srv::~rust_srv() {
-    // Nop.
+//    char msg[1024];
+//    snprintf(msg, sizeof(msg), "~rust_srv %" PRIxPTR, (uintptr_t) this);
+//    log(msg);
 }
 
 void
@@ -74,3 +75,8 @@ rust_srv::warning(char const *expression,
              expression, file, (int)line, buf);
     log(msg);
 }
+
+rust_srv *
+rust_srv::clone() {
+    return new rust_srv();
+}