sql_query($sql); return true; } function tool_pref_update_menu_style($userinfo, $menu) { global $db; $sql = "UPDATE ". NELDB_USER_TABLE ." SET user_menu_style=". $menu ." WHERE user_id=". $userinfo['user_id']; $db->sql_query($sql); } function tool_pref_update_default_application($userinfo, $application_id) { global $db; $sql = "UPDATE ". NELDB_USER_TABLE ." SET user_default_application_id=". $application_id ." WHERE user_id=". $userinfo['user_id']; $db->sql_query($sql); } ?>