📄 servers-lib.pl
字号:
# servers-lib.pl# Common functions for managing serversdo '../web-lib.pl';&init_config();sub list_servers{local ($f, @rv);opendir(DIR, $module_config_directory);while($f = readdir(DIR)) { if ($f =~ /^(\d+)\.serv$/) { push(@rv, &get_server($1)); } }closedir(DIR);return @rv;}# get_server(id)sub get_server{local $serv;$serv->{'id'} = $_[0];&read_file("$module_config_directory/$_[0].serv", $serv) || return undef;return $serv;}# save_server(&server)sub save_server{&write_file("$module_config_directory/$_[0]->{'id'}.serv", $_[0]);}# delete_server(id)sub delete_server{unlink("$module_config_directory/$_[0].serv");}@server_types = ( [ 'caldera', 'OpenLinux' ], [ 'redhat', 'Redhat Linux' ], [ 'suse', 'SuSE Linux' ], [ 'debian', 'Debian Linux' ], [ 'linux', 'Linux' ], [ 'freebsd', 'FreeBSD' ], [ 'solaris', 'Solaris' ], [ 'unknown', 'Other' ] );1;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -