}
?>
-<?
+<?php
if(shouldrun($HTTP_SERVER_VARS['HTTP_USER_AGENT'])) {
$drawmode = "GD";
<b><?php echo t("IP-Atlas preferences"); ?></b> <?php echo t("(cookie based)"); ?><br><br>
-<?
+<?php
if(isset($HTTP_POST_VARS["button"])) {
print t("Your settings have been saved. You can now try"); ?> <a href="plot.php<?php if(isset($HTTP_GET_VARS["lastquery"])) { echo "?address=$HTTP_GET_VARS[lastquery]"; } ?>"><?php print t("plotting something.")."</a>"."<br><br>";
}
?>
<?php echo t("Pointer Preferences (the dot that marks lat/lon):"); ?><br>
-<?
+<?php
if($drawmode == "GD") {
print '
<input type="hidden" name="cssdot" value="reddot.gif">
<?php echo t("Earth Image:") ?>
<select name="earthimage">
-<?
+<?php
foreach($earthimages as $curentry) {