diff options
Diffstat (limited to 'inc/UserCVS.php')
-rwxr-xr-x | inc/UserCVS.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/inc/UserCVS.php b/inc/UserCVS.php index 807c8f52..48e4d012 100755 --- a/inc/UserCVS.php +++ b/inc/UserCVS.php @@ -5,6 +5,8 @@ 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 ) { |