diff options
| author | Benjamin Franzke <benjaminfranzke@googlemail.com> | 2013-01-25 08:55:47 +0100 |
|---|---|---|
| committer | Benjamin Franzke <benjaminfranzke@googlemail.com> | 2013-01-25 08:55:47 +0100 |
| commit | ba06ed39d6b5c9d7ba38456783e67c888f3b3cf6 (patch) | |
| tree | ea785d3b3e6983d90e93142d1d0fcdfcc9ae210f /sqlbox/locallib.php | |
| parent | 95849a4614a55b46214622f88bb6dbc66cb54725 (diff) | |
| download | sqltutor-plugin-ba06ed39d6b5c9d7ba38456783e67c888f3b3cf6.tar.gz sqltutor-plugin-ba06ed39d6b5c9d7ba38456783e67c888f3b3cf6.tar.bz2 sqltutor-plugin-ba06ed39d6b5c9d7ba38456783e67c888f3b3cf6.zip | |
Silence pg_query errors from php itself
Diffstat (limited to 'sqlbox/locallib.php')
| -rw-r--r-- | sqlbox/locallib.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sqlbox/locallib.php b/sqlbox/locallib.php index cf821b2..3916d34 100644 --- a/sqlbox/locallib.php +++ b/sqlbox/locallib.php @@ -41,7 +41,7 @@ defined('MOODLE_INTERNAL') || die(); function db_table_from_query($db, $query) { $table = new html_table; - $result = pg_query($db, $query); + $result = @pg_query($db, $query); if (!$result) error("Query failed: ".pg_last_error($db)); |