Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
sidebar [2014/01/15 20:06]
admin
sidebar [2016/08/11 13:16]
admin
Line 1: Line 1:
  
-  * [[start|Home]] +  * [[start | Home]] 
-  * [[vigil:​people|People]] +  * [[vigil:​people | People]] 
-  * [[vigil:​research|Research]] +  * [[vigil:​research | Research]] 
-  * [[vigil:random_projects|Random Projects]] +/*  * [[vigil:visitors ​Visitors]] */ 
-  [[Demos]] +/*  * [[vigil:talks | Talks]] */ 
-  * [[vigil:Visitors]] +  * [[vigil:contact_us ​Contact Us]] 
-  ​[[Talks]] +  === Internal Links === 
-  * [[vigil:feedback|Feedback]] +  * [[internal:login_creation_request ​Get Lab Access]]
-  * [[vigil:contact_us|Contact Uss]] +
 ~~NOCACHE~~ ~~NOCACHE~~
- 
-<php> 
-if (!empty($_SERVER['​HTTP_CLIENT_IP'​])) ​  //​check ip from share internet 
-    { 
-      $ip=$_SERVER['​HTTP_CLIENT_IP'​];​ 
-    } 
-    elseif (!empty($_SERVER['​HTTP_X_FORWARDED_FOR'​])) ​  //to check ip is pass from proxy 
-    { 
-      $ip=$_SERVER['​HTTP_X_FORWARDED_FOR'​];​ 
-    } 
-    else 
-    { 
-      $ip=$_SERVER['​REMOTE_ADDR'​];​ 
-    } 
-</​php>​ 
- 
-<php> 
-$ip = $_SERVER['​REMOTE_ADDR'​];​ 
- 
-// Try the following line if the ip is blank after this 
-// $ip=@$REMOTE_ADDR;​ 
-$regs = array(); 
-// Enter suitable ip addr pattern below. The following code block executes only if 
-// the ip addr starts with 10.12 
-if(!ereg("​(^10.105.1.3$)",​$ip,​$regs)) 
-{ 
-  echo "<​center><​font size =2><​b>​INTERNAL LINKS</​b></​font></​center>";​ 
-  echo "<​hr>";​ 
-   // Create a html file with the desired internal links. 
-   // Here I assume that it is called internal_links.html 
-   //​echo "<​iframe frameborder=0 src='​internalLink.html'></​iframe>";​ 
-   echo "<​ul><​LI><​A href='​http://​trellis.cse.iitb.ac.in/​~archive/'>​Lab Work Archive</​A></​LI>";​ 
-   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​graphics/​doku.php?​id=lab_hours_and_occupancy_schedule'>​Lab Hours and Weekly Schedule</​A></​LI>";​ 
-   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​graphics/​doku.php?​id=equipment'>​Equipment</​A></​LI>";​ 
-   echo "<​LI><​A href='​http://​www.cse.iitb.ac.in/​graphics/​LoginCreationRequest.html'>​Login Creation Request</​A></​LI>";​ 
-   echo "<​LI><​A href='​http://​bhim.cse.iitb.ac.in/​mailman/​listinfo/​vigil'>​Mailing List Archive</​A></​LI>";​ 
-   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​graphics/​doku.php?​id=wiki_faq'>​Wiki FAQ</​A></​LI>";​ 
-   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​graphics/​doku.php?​id=vigil:​faq'>​VIGIL FAQ</​A></​LI>";​ 
-   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​graphics/​doku.php?​id=contact:​useful-numbers'>​Useful Numbers</​A></​LI></​ul>";​ 
-  } 
-// Use the following line for debugging the ip addr 
-</​php>​