diff --git a/debug.html b/debug.html
index f69f55d4..42669cff 100644
--- a/debug.html
+++ b/debug.html
@@ -119,6 +119,7 @@
+
diff --git a/index.html b/index.html
index 36c7adf2..6c9924a7 100644
--- a/index.html
+++ b/index.html
@@ -112,6 +112,7 @@
+
diff --git a/src/browser/main.js b/src/browser/main.js
index 99aab4c1..abb6e1b1 100644
--- a/src/browser/main.js
+++ b/src/browser/main.js
@@ -336,7 +336,7 @@
//settings.hda = new AsyncXHRBuffer("images/arch.img", 512, 8589934592);
settings.cdrom = new AsyncXHRBuffer("https://dl.dropboxusercontent.com/u/61029208/linux.iso", 2048, 6547456);
init(settings);
- }
+ };
var log_levels = document.getElementById("log_levels"),
count = 0,
@@ -442,6 +442,11 @@
$("run").blur();
};
+ $("exit").onclick = function()
+ {
+ location.href = location.pathname;
+ };
+
var time = $("running_time"),
ips = $("speed"),
avg_ips = $("avg_speed"),