diff --git a/tools/analysis/VisualFAIL/core.php b/tools/analysis/VisualFAIL/core.php index 95ffd2fa..d8a11179 100644 --- a/tools/analysis/VisualFAIL/core.php +++ b/tools/analysis/VisualFAIL/core.php @@ -21,6 +21,8 @@ switch ($_GET['kommando']) case "dechex" : echo json_encode(dechex($_GET['dec']));break; } +mysql_close($verbindung); + function dbTest() { @@ -108,8 +110,6 @@ function getBinarys() $ergebnis = mysql_query($abfrage); - mysql_close($verbindung); - while($row = mysql_fetch_object($ergebnis)) { array_push($binarys, $row->benchmark); @@ -128,8 +128,6 @@ function getVariants() $ergebnis = mysql_query($abfrage); - mysql_close($verbindung); - while($row = mysql_fetch_object($ergebnis)) { $variants[$row->id] = $row->variant; @@ -146,8 +144,6 @@ function getSourceFiles() $ergebnis = mysql_query($abfrage); - mysql_close($verbindung); - while($row = mysql_fetch_object($ergebnis)) { $sourceFiles[$row->file_id] = $row->path; @@ -164,7 +160,6 @@ function asmCode() $ergebnis = mysql_query($abfrage); - mysql_close($verbindung); $content = $content; while($row = mysql_fetch_object($ergebnis)) { @@ -306,8 +301,6 @@ function getHighlevelCode() } } - mysql_close($verbindung); - echo json_encode($content); } @@ -317,8 +310,6 @@ function getResulttypes(&$resulttypes) $ergebnis = mysql_query($abfrage); - mysql_close($verbindung); - while ($row = mysql_fetch_object($ergebnis)) { //echo $row->resulttype; array_push($resulttypes, $row->resulttype); @@ -333,8 +324,6 @@ function getResulttypesOUT() $ergebnis = mysql_query($abfrage); - mysql_close($verbindung); - while ($row = mysql_fetch_object($ergebnis)) { //echo $row->resulttype; array_push($resulttypes, $row->resulttype); @@ -406,8 +395,6 @@ function askDBFehler($variant_id, $resulttypes, $version) $ergebnis = mysql_query($abfrage); - mysql_close($verbindung); - return $ergebnis; }