method private _table_gui_update_answer = fun row_ref table input ->
let new_name = ref None in
if table.SQL_db.ta_name <> input.TGUI.tgi_name then begin
if not (SQL_db.validate_name input.TGUI.tgi_name) then
raise (Invalid_input "Invalid table name");
if SQL_db.table_by_name_opt db input.TGUI.tgi_name <> None then
raise (Invalid_input "Name already used");
new_name := Some input.TGUI.tgi_name
end;
self#_update_table_internal row_ref table
?name:!new_name ~comment:input.TGUI.tgi_comment
~logged:input.TGUI.tgi_logged
~pkey:input.TGUI.tgi_pkey ();