Changes between Version 2 and Version 3 of Ticket #27562


Ignore:
Timestamp:
03/29/19 00:57:38 (3 years ago)
Author:
slelievre
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27562 – Description

    v2 v3  
    1212}}}
    1313
    14 The current version is in particular missing a space between
     14The current version in particular lacks a space between
    1515"has no table" and the name, so errors look like:
    1616{{{
    17 File "src/sage/databases/sql_db.py", line 308, in sage.databases.sql_db._create_print_table
     17File ...
    1818Failed example:
    19     r = SQLQuery(DB, {'table_name':'simon', 'display_cols':['a1'], 'expression':['b2','<=', 6]})
     19    r = SQLQuery(DB, {'table_name':'simon'})
    2020Exception raised:
    2121...
     
    2424instead of
    2525{{{
    26 File "src/sage/databases/sql_db.py", line 308, in sage.databases.sql_db._create_print_table
     26File ...
    2727Failed example:
    28     r = SQLQuery(DB, {'table_name':'simon', 'display_cols':['a1'], 'expression':['b2','<=', 6]})
     28    r = SQLQuery(DB, {'table_name':'simon'})
    2929Exception raised:
    3030...
    3131ValueError: database has no table simon
    3232}}}
     33
     34At line 1400, one should also change
     35{{{
     36        if table_name in self.__skeleton__:
     37            raise ValueError('Database already has a table named' \
     38                + '%s.'%table_name)
     39}}}
     40to
     41{{{
     42        if table_name in self.__skeleton__:
     43            raise ValueError('database already has a table named %s'
     44                             %table_name)
     45}}}