| | |
| | | $FILE = realpath('../install.php'); |
| | | |
| | | //** Get distribution identifier |
| | | //** IMPORTANT! |
| | | // This is the same code as in /server/mods-available/monitor_core_module.inc.php |
| | | // So if you change it here, you also have to change it in |
| | | // /server/mods-available/monitor_core_module.inc.php! |
| | | function get_distname() { |
| | | |
| | | $distname = ''; |
| | |
| | | |
| | | function rf($file){ |
| | | clearstatcache(); |
| | | if(!$fp = fopen ($file, 'rb')){ |
| | | ilog('WARNING: could not open file '.$file); |
| | | if(is_file($file)) { |
| | | if(!$fp = fopen ($file, 'rb')){ |
| | | ilog('WARNING: could not open file '.$file); |
| | | } |
| | | return filesize($file) > 0 ? fread($fp, filesize($file)) : ''; |
| | | } else { |
| | | return ''; |
| | | } |
| | | return filesize($file) > 0 ? fread($fp, filesize($file)) : ''; |
| | | } |
| | | |
| | | function wf($file, $content){ |