0d4bed8 - use different port numbers for 32bit and 64bit builds

Authored and Committed by kdudka 14 years ago
    - use different port numbers for 32bit and 64bit builds
    - temporary workaround for #545779
    
        
file modified
+11 -2