michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-09-19 12:00:46 +01:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

Check for correct reply

Browse Source
This commit is contained in:
Jamie Cameron
2013-05-04 11:36:26 -07:00
parent 977fa82d55
commit 4ede370aea
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
minecraft/status_monitor.pl
View File

@@ -21,7 +21,7 @@ if ($type eq "minecraft_up") {
'desc' => $text{'monitor_down'} };
}
my $out = &execute_minecraft_command("/seed", 0, 5);
if ($out !~ /^\d+/) {
if ($out !~ /Seed:\s+[0-9\-]+/i) {
return { 'up' => 0,
'desc' => $text{'monitor_noreply'} };
}