# File bin/dskexplorer.rb, line 54
def get_dsk_from_cache(uri)
        if @@dsk_cache[uri].nil? then
                @@dsk_cache[uri]=DSK.read(uri)
        end
        @@dsk_cache[uri]
end