47 |
svcfstype="tmpfs" |
svcfstype="tmpfs" |
48 |
svcsize=1024 |
svcsize=1024 |
49 |
|
|
50 |
|
rc_echo() { echo $@; } |
51 |
|
rc_print() { rc_echo -e "${COLOREDSTAR}$@"; } |
52 |
|
|
53 |
# dummy function; needed if splashutils are not installed |
# dummy function; needed if splashutils are not installed |
54 |
splash() { return 0; } |
splash() { return 0; } |
456 |
return 1 |
return 1 |
457 |
} |
} |
458 |
|
|
459 |
start_devicemanager() { touch /dev/.none; return 0} |
start_devicemanager() { touch /dev/.none; return 0; } |
460 |
stop_devicemanager() { return 0; } |
stop_devicemanager() { return 0; } |