This PR fixes WebServerPortFileWriter.getPortFile() with namespace and file without extension.

Comment From: mhalbritter

Thanks @izeye !