pts-core: Fix missing web socket port when manually setting host port from user-config