server: warn if user changes server port after init