0fb821 fix bug 145997: allow hex 32-bit integers in user specified options

Authored and Committed by jvdias 15 years ago
1 file changed. 12 lines added. 6 lines removed.
    fix bug 145997: allow hex 32-bit integers in user specified options
    
        
file modified
+12 -6