Newer
Older
Digital_Repository / Repositories / Maps / gd_map.php
  1. <?php
  2. list( $start_micro, $start_sec ) = explode( " ", microtime() );
  3. ?>
  4.  
  5. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
  6. "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
  7. <html>
  8. <head>
  9. <meta http-equiv="content-type" content="text/html; charset=utf-8" />
  10. <meta http-equiv="cache-control" content="no-cache" />
  11. <meta http-equiv="pragma" content="no-cache" />
  12. <title>Repository hit visualisation using GD</title>
  13. <meta name="generator" content="BBEdit 8.2" />
  14. <script type="text/javascript" src="gd_map.js"></script>
  15. </head>
  16. <body>
  17.  
  18. <h1>Repository hit visualisation using GD</h1>
  19.  
  20. <div id="timer">Loading&hellip;</div>
  21.  
  22. <div>
  23. <?php
  24. echo '<img id="map" src="gd_map.pl?width=1024&amp;height=520&amp;top='
  25. . ( ( isset( $_REQUEST['top'] ) ) ? $_REQUEST['top'] : 10 )
  26. . '&amp;show='
  27. . ( ( isset( $_REQUEST['show'] ) ) ? $_REQUEST['show'] : 'both' )
  28. . '&amp;eprint='
  29. . ( ( isset( $_REQUEST['eprint'] ) ) ? $_REQUEST['eprint'] : '' )
  30. . '" onLoad="imageLoaded('
  31. . ( ( (float)$start_micro + (float)$start_sec ) * 1000 )
  32. . ')" width="1024" height="520" alt="" style="border:1px solid black;" />';
  33. ?>
  34. </div>
  35.  
  36. </body>
  37. </html>