K 10 svn:author V 4 lofi K 8 svn:date V 27 2007-02-10T12:02:18.000000Z K 7 svn:log V 149 Apparently there *are* users that prefer to leave HAL turned off. Avoid letting them run into a patch error. Noticed by: Grzes END