/** * finish and cleanup navigation.php script execution * * @uses $GLOBALS['controllink'] to close it * @uses $GLOBALS['userlink'] to close it * @uses PMA_outBufferPost() * @uses PMA_DBI_close() * @access private only to be used in navigation.php */ function PMA_exitNavigationFrame() { echo '</body></html>'; // Close MySQL connections if (isset($GLOBALS['controllink']) && $GLOBALS['controllink']) { @PMA_DBI_close($GLOBALS['controllink']); } if (isset($GLOBALS['userlink']) && $GLOBALS['userlink']) { @PMA_DBI_close($GLOBALS['userlink']); } // Sends bufferized data PMA_outBufferPost(); exit; }
/** * finish and cleanup navigation.php script execution * * @uses $GLOBALS['controllink'] to close it * @uses $GLOBALS['userlink'] to close it * @uses PMA_DBI_close() * @access private only to be used in navigation.php */ function PMA_exitNavigationFrame() { echo '</body></html>'; /** * Close MySQL connections */ if (isset($GLOBALS['controllink']) && $GLOBALS['controllink']) { @PMA_DBI_close($GLOBALS['controllink']); } if (isset($GLOBALS['userlink']) && $GLOBALS['userlink']) { @PMA_DBI_close($GLOBALS['userlink']); } exit; }
if ($ratioWidth < $ratioHeight) { $destWidth = $srcWidth / $ratioHeight; $destHeight = $newHeight; } else { $destWidth = $newWidth; $destHeight = $srcHeight / $ratioWidth; } if ($resize) { $destImage = ImageCreateTrueColor($destWidth, $destHeight); } // ImageCopyResized( $destImage, $srcImage, 0, 0, 0, 0, $destWidth, $destHeight, $srcWidth, $srcHeight ); // better quality but slower: ImageCopyResampled($destImage, $srcImage, 0, 0, 0, 0, $destWidth, $destHeight, $srcWidth, $srcHeight); if ($resize == 'jpeg') { ImageJPEG($destImage, '', 75); } if ($resize == 'png') { ImagePNG($destImage); } ImageDestroy($srcImage); ImageDestroy($destImage); } /** * Close MySql non-persistent connections */ if (isset($GLOBALS['controllink']) && $GLOBALS['controllink']) { @PMA_DBI_close($GLOBALS['controllink']); } if (isset($GLOBALS['userlink']) && $GLOBALS['userlink']) { @PMA_DBI_close($GLOBALS['userlink']); }
if ('VIEW' === strtoupper($table['Comment'])) { echo ' src="' . $GLOBALS['pmaThemeImage'] . 's_views.png"'; } else { echo ' src="' . $GLOBALS['pmaThemeImage'] . 'b_sbrowse.png"'; } echo ' id="icon_' . htmlspecialchars($table_db . '.' . $table['Name']) . '"' . ' width="10" height="10" alt="' . $GLOBALS['strBrowse'] . '" /></a>' . "\n" . '<a href="' . $href . '" title="' . $table['Comment'] . ' (' . PMA_formatNumber($table['Rows'], 0) . ' ' . $GLOBALS['strRows'] . ')"' . ' id="' . htmlspecialchars($table_db . '.' . $table['Name']) . '">' . htmlspecialchars($table['disp_name']) . '</a>'; echo '</li>' . "\n"; } } echo '</ul>'; } ?> </div> </body> </html> <?php /** * Close MySql connections */ if (isset($controllink) && $controllink) { @PMA_DBI_close($controllink); } if (isset($userlink) && $userlink) { @PMA_DBI_close($userlink); } /** * Sends bufferized data */ if ($GLOBALS['cfg']['OBGzip'] && isset($ob_mode) && $ob_mode) { PMA_outBufferPost($ob_mode); }