73d4aa0 Fix servlet patch.

Authored and Committed by akurtakov 10 years ago
    Fix servlet patch.
    
        
file modified
+11 -3