Index: trunk/src/comm.c
===================================================================
--- trunk/src/comm.c	(Revision 2255)
+++ trunk/src/comm.c	(Arbeitskopie)
@@ -3470,6 +3470,7 @@
 
 {
     object_t *save = command_giver;
+    object_t *curobj_save = current_object;
     int i;
     interactive_t *interactive;
     int save_privilege;
@@ -3636,7 +3637,8 @@
     free_object(ob, "remove_interactive");
 
     command_giver = check_object(save);
-    current_object = NULL;
+    current_object = curobj_save; /* No check_object, because there may
+                                     be execution going on. */
     malloc_privilege = save_privilege;
 } /* remove_interactive() */