Fix `./pants server` output

Review Request #2067 - Created April 11, 2015 and submitted

Information
Stu Hood
pants
4454565...
Reviewers
pants-reviews
jsirois, nhoward_tw, patricklaw
  • Fix floating point millis in run name, which was breaking the `./pants server` output

good:
pants_run_2015_04_11_15_55_57_967
bad:
pants_run_2015_04_11_15_57_16_270.554931641

verified that the server reports logs

John Sirois
Benjy Weinberger
Stu Hood
Review request changed

Status: Closed (submitted)

Loading...