Index: trunk/wb/admin/settings/tool.php
===================================================================
--- trunk/wb/admin/settings/tool.php	(revision 143)
+++ trunk/wb/admin/settings/tool.php	(revision 144)
@@ -34,7 +34,7 @@
 }
 
 // check if tool is installed
-$query_result=$database->query("SELECT * FROM ".TABLE_PREFIX."modules WHERE type='tool' AND name='{$_GET['tool']}'");
+$query_result=$database->query("SELECT * FROM ".TABLE_PREFIX."addons WHERE type = 'module' AND function = 'tool' AND name = '{$_GET['tool']}'");
 if ($query_result->numRows()==0) {
 	header("Location: index.php");
 }
Index: trunk/wb/admin/settings/index.php
===================================================================
--- trunk/wb/admin/settings/index.php	(revision 143)
+++ trunk/wb/admin/settings/index.php	(revision 144)
@@ -125,7 +125,7 @@
 
 // Insert groups into signup list
 $template->set_block('main_block', 'tool_list_block', 'tool_list');
-$results = $database->query("SELECT * FROM ".TABLE_PREFIX."modules WHERE type = 'tool'");
+$results = $database->query("SELECT * FROM ".TABLE_PREFIX."addons WHERE type = 'module' AND function = 'tool'");
 $tool_list_empty=true;
 if($results->numRows() > 0) {
 	while($tool = $results->fetchRow()) {