Mini Shell
Mini Shell
| Direktori : /usr/share/webmin/grub/ |
| Current File : //usr/share/webmin/grub/install_check.pl |
# install_check.pl
do 'grub-lib.pl';
# is_installed(mode)
# For mode 1, returns 2 if the server is installed and configured for use by
# Webmin, 1 if installed but not configured, or 0 otherwise.
# For mode 0, returns 1 if installed, 0 if not
sub is_installed
{
return 0 if (!-r $config{'menu_file'} || !&has_command($config{'grub_path'}));
return $_[0] ? 2 : 1;
}