--- a/devel/devel.pages.inc	Sun Aug 14 22:46:41 2011
+++ b/devel/devel.pages.inc	Wed Aug 17 14:31:49 2011
@@ -119,3 +119,3 @@
   module_disable($modules, FALSE);
-  drupal_uninstall_modules($modules);
+  drupal_uninstall_modules($modules, FALSE);
   module_enable($modules, FALSE);