Jun Wu 12805254e6 fastannotate: skip flushing revmap if nothing changed ... Summary: Writing the revmap back to disk can be a bit expensive if the revmap is not small. This diff optimizes `revmap.flush` so it does not write anything if nothing changed. Test Plan: Profiling data shows no more substantial `write` syscalls. Reviewers: #sourcecontrol, zamsden Reviewed By: zamsden Subscribers: zamsden, mjpieters Differential Revision: https://phabricator.intern.facebook.com/D3837023 Signature: t1:3837023:1473954024:6af83074096517ab1d3d05cb90d091af6e0c5d02		2016-09-08 21:01:47 +01:00
..
error.py	fastannotate: move exception classes to error.py	2016-09-08 14:47:49 +01:00
revmap.py	fastannotate: skip flushing revmap if nothing changed	2016-09-08 21:01:47 +01:00