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; } |
141 |
print_status success |
print_status success |
142 |
else |
else |
143 |
print_status failure |
print_status failure |
144 |
|
|
145 |
|
if [[ ${SPLASH_VERBOSE_ON_ERRORS} = 1 ]] |
146 |
|
then |
147 |
|
splash "rc_verbose" "${runlevel}" |
148 |
|
fi |
149 |
fi |
fi |
150 |
|
|
151 |
return ${error_value} |
return ${error_value} |
460 |
|
|
461 |
return 1 |
return 1 |
462 |
} |
} |
463 |
|
|
464 |
|
start_devicemanager() { touch /dev/.none; return 0; } |
465 |
|
stop_devicemanager() { return 0; } |