Allow reuse of port 8080

Without this, after stopping the server you have to wait a minute
before the port frees up to be used again.

Change-Id: Ifad7aaca2c3436b16394eff10568427e8c5631f6
1 file changed
tree: 6c9ee266a3586a48ca5b9837c583aabc1f1031e0
  1. scripts/
  2. src/
  3. templates/
  4. .gitignore
  5. CleanSpec.mk
  6. README