Index: devel.install
===================================================================
--- devel.install	(revision 6724)
+++ devel.install	(working copy)
@@ -110,4 +110,16 @@ function devel_update_5() {
 function devel_enable() {
   // Enable the blocks automatically at install.
   _block_rehash();
+}
+
+
+/**
+ * Implementation of hook_disable().
+ */
+function devel_disable() {
+  // Query logging should probably not be set if devel.module is disabled.
+  if (variable_get('dev_query', 0)) {
+    variable_set('dev_query',0);
+    drupal_set_message(t('Disabled query logging since devel module is disabled.'));
+  }
 }
\ No newline at end of file