Always write the cache (unless cache_dir is /dev/null)#3133

Merged

gvanrossum merged 6 commits intomasterfrom always-write-cache

Apr 19, 2017

+35-24

Commits on Apr 4, 2017

Always write the cache (unless cache_dir is /dev/null)
Guido van Rossum
committed

Commits on Apr 5, 2017

Respond to review; move get_stat(path) up and be more robust
Guido van Rossum
committed

Commits on Apr 19, 2017

Fix format string
Guido van Rossum
committed
Merge branch 'master' into always-write-cache
Guido van Rossum
committed
Handle a rare race condition with makedirs().
Guido van Rossum
committed
Better fix for makedirs() race
Guido van Rossum
committed