Use port on websockets.php as default(6001 as fallback)

[erikn69]

trafficstars

If someone is using another port instead of 6001 on websockets.php, use it as default on console command, with this avoid using --port=OTHER_PORT, fallback on 6001

[PaolaRuby]

@mpociot ping :/