diff options
| -rwxr-xr-x | etc/rc.banner | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/rc.banner b/etc/rc.banner index 34fd7b6..7017f51 100755 --- a/etc/rc.banner +++ b/etc/rc.banner @@ -32,6 +32,7 @@ /* parse the configuration and include all functions used below */ require_once("config.inc"); + require_once("functions.inc"); $version = trim(file_get_contents("{$g['etc_path']}/version")); $platform = trim(file_get_contents("{$g['etc_path']}/platform")); |
