Skip to content

Bump port number

Martijn van de Beek requested to merge change-port-again into master

Port number 10080 is blocked by browsers like chrome by default now. I bumped it to 10081 to fix that.

Also added a shebang to ensure the script is always executed with sh.

Edited by Martijn van de Beek

Merge request reports

Loading