# HG changeset patch
# User mroi
# Date 1049374522 0
# Node ID 7f242ec838fd90778f4a639c2f354cbd202a0c9e
# Parent  4d14c444c15553cd81768f9bdbc9eb09618ce317
do not stop the VM here, get_next_block will do that without races

diff -r 4d14c444c155 -r 7f242ec838fd navigation.c
--- a/navigation.c	Thu Apr 03 12:48:30 2003 +0000
+++ b/navigation.c	Thu Apr 03 12:55:22 2003 +0000
@@ -194,7 +194,7 @@
   }
   
   pthread_mutex_lock(&this->vm_lock);
-  vm_stop(this->vm);
+  this->vm->stopped = 1;
   pthread_mutex_unlock(&this->vm_lock);
   return S_OK;
 }