-
Notifications
You must be signed in to change notification settings - Fork 2.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Temporary pickle files not deleted after failed build (was "Fails to build html") #958
Comments
From Jon Waltman on 2012-12-05 19:17:32+00:00
Temporary pickle files are not removed in The paths of the temporary files are the same between builds. |
From Georg Brandl on 2012-12-31 08:44:28+00:00 I'm not sure why this happens: osutil.movefile() explicitly tries to remove the file if it exists. Maybe the pickle file is still open somewhere and therefore can't be removed? |
From Jon Waltman on 2013-01-03 04:29:42+00:00
Yes, I think this is whats going on here. osutil.movefile() While we're looking at this, I have a question about the practice Wouldn't it be better to just overwrite the original? An error |
From Jon Waltman on 2013-01-03 06:33:57+00:00 While we're talking about pickling, what do you think about about forcing a fresh build any time after sphinx crashes? This could help gloss over problems that seem to disappear after running |
From Georg Brandl on 2013-01-03 07:44:25+00:00
That is a valid argument. Forcing a fresh build after a crash also sounds like a good idea. |
From Jon Waltman on 2013-01-03 22:16:10+00:00 Closes #958: Do not preserve → <> |
The text was updated successfully, but these errors were encountered: