src/scripttools/debugging/scripts/commands/interrupt.qs
changeset 0 1918ee327afb
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/scripttools/debugging/scripts/commands/interrupt.qs	Mon Jan 11 14:00:40 2010 +0000
@@ -0,0 +1,14 @@
+name = "interrupt";
+
+group = "running";
+
+shortDescription = "Interrupt evaluation";
+
+longDescription = "Interruption will occur as soon as a new script statement is reached.";
+
+function execute() {
+    scheduleInterrupt();
+}
+
+function handleResponse(resp) {
+}