With default server port changed to 9999