linecache_checkcache ( orig_checkcache=linecache.checkcache )
We need to patch linecache.checkcache, because we don't want it
to throw away our <pyshell#...> entries.
Rather than repeating its code here, we save those entries,
then call the original function, and then restore the saved entries.
|