4892f79 - fix problem when options at the end of command line were not recognized

Authored and Committed by pvrabec 18 years ago
    - fix problem when options at the end of command line were not recognized
        (#188707)
    
        
file modified
+7 -1