Revision 941ddb52
Added by Renato Botelho about 9 years ago
src/etc/inc/system.inc | ||
---|---|---|
1956 | 1956 |
} |
1957 | 1957 |
} |
1958 | 1958 |
|
1959 |
function system_console_configure() { |
|
1960 |
global $config, $g; |
|
1961 |
if (isset($config['system']['developerspew'])) { |
|
1962 |
$mt = microtime(); |
|
1963 |
echo "system_console_configure() being called $mt\n"; |
|
1964 |
} |
|
1965 |
|
|
1966 |
if (isset($config['system']['disableconsolemenu'])) { |
|
1967 |
touch("{$g['varetc_path']}/disableconsole"); |
|
1968 |
} else { |
|
1969 |
unlink_if_exists("{$g['varetc_path']}/disableconsole"); |
|
1970 |
} |
|
1971 |
} |
|
1972 |
|
|
1973 | 1959 |
function system_dmesg_save() { |
1974 | 1960 |
global $g; |
1975 | 1961 |
if (isset($config['system']['developerspew'])) { |
src/etc/rc.bootup | ||
---|---|---|
319 | 319 |
/* start load balancer daemon */ |
320 | 320 |
relayd_configure(); |
321 | 321 |
|
322 |
/* configure console menu */ |
|
323 |
system_console_configure();
|
|
322 |
/* configure console menu and serial port*/
|
|
323 |
setup_serial_port();
|
|
324 | 324 |
|
325 | 325 |
/* start DHCP service */ |
326 | 326 |
services_dhcpd_configure(); |
Also available in: Unified diff
A simple fix for #6120
- Retire system_console_configure()
- Replace above call on rc.bootup by setup_serial_port()