facebook/hhvm — pull request #4079 by simonwelsh (2014-10-28 04:32:08+00:00)
Title: Use the time in default xdebug output file

Rather than using the PID, which doesn't change except over restarts, use the current time so that profiler runs end up in different files.

Fixes #3433