From 87c291e923f90ac9ee4f6927f2bdb6ce6f7bf1cc Mon Sep 17 00:00:00 2001
From: copy <copy@copy.sh>
Date: Mon, 14 Sep 2015 01:57:13 +0200
Subject: [PATCH] V86.destroy()

---
 src/browser/starter.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/browser/starter.js b/src/browser/starter.js
index d04ccd41..ea9491e7 100644
--- a/src/browser/starter.js
+++ b/src/browser/starter.js
@@ -398,6 +398,14 @@ V86Starter.prototype.stop = function()
     this.bus.send("cpu-stop");
 };
 
+/**
+ * @ignore
+ */
+V86Starter.prototype.destroy = function()
+{
+    this.keyboard_adapter.destroy();
+};
+
 /**
  * Restart (force a reboot).
  */
@@ -844,6 +852,7 @@ else if(typeof importScripts === "function")
 V86Starter.prototype["run"] = V86Starter.prototype.run;
 V86Starter.prototype["stop"] = V86Starter.prototype.stop;
 V86Starter.prototype["restart"] = V86Starter.prototype.restart;
+V86Starter.prototype["destroy"] = V86Starter.prototype.destroy;
 V86Starter.prototype["add_listener"] = V86Starter.prototype.add_listener;
 V86Starter.prototype["remove_listener"] = V86Starter.prototype.remove_listener;
 V86Starter.prototype["restore_state"] = V86Starter.prototype.restore_state;