Include port nr in stored view url if necessary. Fixes #74