Merge branch 'master' into startup

[factor.git] / vm / factor.cpp

diff --git a/vm/factor.cpp b/vm/factor.cpp
index 589d1898b15ab83e05b8b83aaf9fc4433bad3a8a..c83e9cdb6b11dcc786b50ad15069ac14686b5984 100755 (executable)
--- a/vm/factor.cpp
+++ b/vm/factor.cpp
@@ -171,6 +171,13 @@ void factor_vm::start_factor(vm_parameters *p)
        unnest_stacks();
 }
 
+void factor_vm::stop_factor()
+{
+       nest_stacks(NULL);
+       c_to_factor_toplevel(userenv[SHUTDOWN_ENV]);
+       unnest_stacks();
+}
+
 char *factor_vm::factor_eval_string(char *string)
 {
        char *(*callback)(char *) = (char *(*)(char *))alien_offset(special_objects[OBJ_EVAL_CALLBACK]);