# File lib_wpm/wpm.rb, line 3792 def fetch(path, page_id) @lock.synchronize{ if (cache_ref = @map[[path, page_id]]) then begin if (cache_ref.weakref_alive?) then page = cache_ref.__getobj__ @prof[:hit] += 1 return page end rescue WeakRef::RefError # nothing to do. end @prof[:unhit] += 1 @map.delete([path, page_id]) end } nil end