function devel_disable in Devel 5

Same name and namespace in other branches

1. 6 devel.install \devel_disable()

Implementation of hook_disable().

File

./devel.install, line 54

Code

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.'));
  }
}