debugger/index.php

   1 <?php
   2 $query = '';
   3 if (isset($_GET['run'])) {
   4     $path = parse_url($_GET['run']);
   5     if (isset($path['query'])) {
   6         $query = '?' . $path['query'];
   7     }
   8 }
   9 ?>
  10 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN"
  11     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">
  12 <html lang="en">
  13 <head>
  14     <link rel="icon" type="image/vnd.microsoft.icon" href="favicon.ico">
  15     <title><?php if (defined('DEFAULT_WSTYPE') && DEFAULT_WSTYPE == 1) echo 'JSONRPC'; else echo 'XMLRPC'; ?> Debugger</title>
  16 </head>
  17 <frameset rows="360,*">
  18     <frame name="frmcontroller" src="controller.php<?php echo htmlspecialchars($query); ?>" marginwidth="0"
  19            marginheight="0" frameborder="0"/>
  20     <frame name="frmaction" src="action.php" marginwidth="0" marginheight="0" frameborder="0"/>
  21 </frameset>
  22 </html>