Roll instrumentation log files.

Roll instrumentation log files.

Keep up to 5 old log files.

R=brianwilkerson@google.com
BUG=

Committed: https://github.com/dart-lang/sdk/commit/61ee6dff5f5e8a9da1bd7b26645f8be2926a6df4

[Brian Wilkerson, 2015-11-04 23:00:30]

LGTM

https://codereview.chromium.org/1418143006/diff/1/pkg/analysis_server/lib/src...
File pkg/analysis_server/lib/src/server/driver.dart (right):

https://codereview.chromium.org/1418143006/diff/1/pkg/analysis_server/lib/src...
pkg/analysis_server/lib/src/server/driver.dart:593: new
File(oldPath).renameSync('$path.${i+1}');
Does rename work if there's already a file with that name? If not, don't we need
to explicitly delete "$path.$numOld"?

[scheglov, 2015-11-05 16:40:27]

https://codereview.chromium.org/1418143006/diff/1/pkg/analysis_server/lib/src...
File pkg/analysis_server/lib/src/server/driver.dart (right):

https://codereview.chromium.org/1418143006/diff/1/pkg/analysis_server/lib/src...
pkg/analysis_server/lib/src/server/driver.dart:593: new
File(oldPath).renameSync('$path.${i+1}');
On 2015/11/04 23:00:29, Brian Wilkerson wrote:
> Does rename work if there's already a file with that name? If not, don't we
need
> to explicitly delete "$path.$numOld"?

Yes, it does.

   /**
   * Synchronously renames this file. Returns a [File]
   * instance for the renamed file.
   *
   * If [newPath] identifies an existing file, that file is
   * replaced. If [newPath] identifies an existing directory the
   * operation fails and an exception is thrown.
   */
  File renameSync(String newPath);

[scheglov, 2015-11-05 16:40:47]

Committed patchset #1 (id:1) manually as
61ee6dff5f5e8a9da1bd7b26645f8be2926a6df4 (presubmit successful).