equal
deleted
inserted
replaced
130 if ( is_dir( GREY_ROOT . "/themes/$dir" ) ) |
130 if ( is_dir( GREY_ROOT . "/themes/$dir" ) ) |
131 load_theme($dir); |
131 load_theme($dir); |
132 } |
132 } |
133 } |
133 } |
134 $httpd->allow_dir_list = true; |
134 $httpd->allow_dir_list = true; |
135 $httpd->allow_fork = false; // ( $allow_fork ) ? true : false; |
135 $httpd->allow_fork = ( $allow_fork ) ? true : false; |
136 $httpd->default_document = 'index'; |
136 $httpd->default_document = 'index'; |
137 |
137 |
138 status("Entering main server loop - ^C to interrupt, listening on port $port"); |
138 status("Entering main server loop - ^C to interrupt, listening on port $port"); |
139 $httpd->serve(); |
139 $httpd->serve(); |
140 } |
140 } |