On 8/29/2012 12:01 PM, Matthias BUSSONNIER wrote: > Why not specifying the port number, let's say a prefix 8888+userid > with the --port option ? This would moreover allow user to bookmark it . That's a great idea. I have relatively full control over ports in use, so collisions are unlikely. Thanks, Spencer