]> git.joonet.de Git - adminer.git/commitdiff
Option to stop on error (thanks to Vaclav Marik)
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Tue, 24 Feb 2009 10:48:59 +0000 (10:48 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Tue, 24 Feb 2009 10:48:59 +0000 (10:48 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@558 7c3ca157-0c34-0410-bff1-cbf682f78f5c

lang/cs.inc.php
sql.inc.php

index 3b631352c1eed03c46141886079fed166a133144..748e087c69584c5141e7719ca721f5546c4b2ca1 100644 (file)
@@ -213,4 +213,5 @@ $translations = array(
        'Import' => 'Import',
        'Table structure' => 'Struktura tabulky',
        'Select table' => 'Vypsat tabulku',
+       'Stop on error' => 'Zastavit při chybě',
 );
index a01ae9fab4a7de9586ddf6f03a61e3e12b7819e8..d100ffdb85e15080c6b74aeb47672dd657dd4bed 100644 (file)
@@ -29,6 +29,9 @@ if (!$error && $_POST) {
                                        //! don't allow changing of character_set_results, convert encoding of displayed query
                                        if (!$mysql->multi_query(substr($query, 0, $match[0][1]))) {
                                                echo "<p class='error'>" . lang('Error in query') . ": " . htmlspecialchars($mysql->error) . "</p>\n";
+                                               if ($_POST["error_stops"]) {
+                                                       break;
+                                               }
                                        } else {
                                                do {
                                                        $result = $mysql->store_result();
@@ -64,6 +67,7 @@ if (!$error && $_POST) {
 <script type="text/javascript">// <![CDATA[
 document.write('<label><input type="checkbox" name="highlight" value="jush"<?php echo ($_COOKIE["highlight"] == "jush" ? ' checked="checked"' : ''); ?> /><?php echo addcslashes(lang('Syntax highlighting'), "\r\n'\\"); ?></label>');
 // ]]></script>
+<label><input type="checkbox" name="error_stops" value="1"<?php echo ($_POST["error_stops"] ? " checked='checked'" : ""); ?> /><?php echo lang('Stop on error'); ?></label>
 </p>
 </form>