« Previous | Next » 

Revision 06c97426

ID06c974265e80bc9879b1c9bd4e8089ec6eea6585
Parent 2848b50f
Child 15a3d74a

Added by Hans-Christoph Steiner over 3 years ago

if port 8888 is in use, then use a random one

This is a quick and dirty way to deal with port conflicts

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences