expand comment

This commit is contained in:
Paul Davis 2015-06-02 12:27:39 -04:00
parent 25797d8618
commit ec991ae047

View file

@ -3677,7 +3677,10 @@ Session::rename (const std::string& new_name)
*/ */
/* Windows requires that we close all files before attempting the /* Windows requires that we close all files before attempting the
* rename * rename. This works on other platforms, but isn't necessary there.
* Leave it in place for all platforms though, since it may help
* catch issues that could arise if the way Source files work ever
* change (since most developers are not using Windows).
*/ */
for (SourceMap::const_iterator i = sources.begin(); i != sources.end(); ++i) { for (SourceMap::const_iterator i = sources.begin(); i != sources.end(); ++i) {