http://bugzilla.wpkg.org/show_bug.cgi?id=278

--- Comment #3 from Stefan Pendl <pendl2mega...@yahoo.de>  ---
Rainer,

how about the following match:

"^\d\d*\.\d\d*\.\d\d*\.\d\d*$"

So if the match pattern of the name attribute matches that pattern, then it is
an IP, else it is a host name match.

--
Stefan

-- 
Configure bugmail: http://bugzilla.wpkg.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
-------------------------------------------------------------------------
wpkg-users mailing list archives >> http://lists.wpkg.org/pipermail/wpkg-users/
_______________________________________________
wpkg-users mailing list
wpkg-users@lists.wpkg.org
http://lists.wpkg.org/mailman/listinfo/wpkg-users

Reply via email to