Changeset 519969
- Timestamp:
- 03/16/2012 07:11:01 PM (14 years ago)
- File:
-
- 1 edited
-
google-identity-toolkit/trunk/git/util/gitUtil.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
google-identity-toolkit/trunk/git/util/gitUtil.php
r470071 r519969 32 32 $url .= $_SERVER['SERVER_NAME']; 33 33 if ($_SERVER['SERVER_PORT'] != '80') { 34 $url .= $_SERVER['SERVER_PORT'];34 $url .= ':' . $_SERVER['SERVER_PORT']; 35 35 } 36 36 $url .= $_SERVER["REQUEST_URI"];
Note: See TracChangeset
for help on using the changeset viewer.