diff options
author | cookie <cookie@29ba0400-6e00-0410-a75a-ca02368028f8> | 2005-11-06 17:14:25 +0000 |
---|---|---|
committer | cookie <cookie@29ba0400-6e00-0410-a75a-ca02368028f8> | 2005-11-06 17:14:25 +0000 |
commit | 866c47ec603595e8fe67da5f0e5d162a70b1f7b4 (patch) | |
tree | ef2b85462576150f017ba6bd53ace13dc60dc510 /inc/UserCVS.php | |
parent | fbc8e11b91b0565ae5d23472fc4e5bfc7d879939 (diff) |
move files
git-svn-id: svn://svn.cccv.de/engel-system@20 29ba0400-6e00-0410-a75a-ca02368028f8
Diffstat (limited to 'inc/UserCVS.php')
-rwxr-xr-x | inc/UserCVS.php | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/inc/UserCVS.php b/inc/UserCVS.php deleted file mode 100755 index 48e4d012..00000000 --- a/inc/UserCVS.php +++ /dev/null @@ -1,30 +0,0 @@ -<?php - -if( !isset($Page["Public"])) $Page["Public"]="N"; - -$Page["Name"] = substr( $_SERVER['PHP_SELF'], strlen($ENGEL_ROOT) ); -if( isset( $_SESSION['CVS'][ $Page["Name"] ])) - $Page["CVS"] = $_SESSION['CVS'][ $Page["Name"] ]; -else - $Page["CVS"] = ""; - -if( $DEBUG ) -{ -// echo "UserID:". $_SESSION["UID"]. "<br>"; -// echo "Nick:". $_SESSION["Nick"]. "<br>"; - - foreach( $_SESSION as $k => $v) - echo "$k = $v<br>\n"; - - if( strlen($Page["CVS"]) == 0 ) - echo "<h1><u> CVS ERROR, on page '". $Page["Name"]. "'</u></h1>"; - else - echo "CVS: ". $Page["Name"]. " => '". $Page["CVS"]. "'<br>"; - - if( $Page["Public"] == "Y") - echo "<h3>Page is Public !!!</h3>"; - else - echo "<h4>Page is non Public</h4>"; -} - -?> |