diff example.php @ 7:23dcd1b5e9c4 default tip

add keywords highlighting on searching result
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 16 Nov 2015 16:58:39 +0100
parents 4b9ae7d500f9
children
line wrap: on
line diff
--- a/example.php	Wed Oct 14 11:01:26 2015 +0200
+++ b/example.php	Mon Nov 16 16:58:39 2015 +0100
@@ -1,5 +1,7 @@
 <?php
-
+if (!isset($_POST['passwd'])) {
+	header("Location: http://localgazetteers.mpiwg-berlin.mpg.de");
+} 
 ?>
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>