And add an optional argument 'filename' to linecache.checkcache() to enable checking caches per-file.
Attach a file by drag & drop or click to upload