Detect Pre/webOS as mobile

diff --git a/miniserv.pl b/miniserv.pl
index 1eeef2a..cccbc08 100755 (executable)
--- a/miniserv.pl
+++ b/miniserv.pl
@@ -4585,6 +4585,8 @@ local @substrings = (
     "Android",           # gPhone
     "Opera Mini",        # Opera Mini
     "HTC_P3700",         # HTC mobile device
+    "Pre/",              # Palm Pre
+    "webOS/",            # Palm WebOS
     );
 foreach my $p (@prefixes) {
        return 1 if ($agent =~ /^\Q$p\E/);