| changeset 325 | e17cc42d77cf |
| parent 324 | 16d0c9f33466 |
| child 326 | ab66d6d1f1f4 |
| 324:16d0c9f33466 | 325:e17cc42d77cf |
|---|---|
102 $page->password = $password; |
102 $page->password = $password; |
103 if ( $src = $page->fetch_source() ) |
103 if ( $src = $page->fetch_source() ) |
104 { |
104 { |
105 echo $src; |
105 echo $src; |
106 } |
106 } |
107 else if ( $src !== false ) |
|
108 { |
|
109 echo ''; |
|
110 } |
|
107 else |
111 else |
108 { |
112 { |
109 echo 'err_access_denied'; |
113 echo 'err_access_denied'; |
110 } |
114 } |
111 break; |
115 break; |