Push the specified page to disk. @param p The page to write. page.getId().pageno() specifies the offset into the file where the page should be written. @throws IOException if the write fails
(Page p)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected