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()