Contents

<% if @debug %>
function pg_spec0_init(ns, options) {
  pg_spec0_watchlist = [];
  pg_spec0_unwatchlist = [];
  pg_spec0_init_params = {ns: ns, options: options};
  pg_spec0_ns = ns;
}

function pg_spec0_watch(id, page) {
  pg_spec0_watchlist.push({id: id, page: page});
}

function pg_spec0_unwatch(id) {
  pg_spec0_unwatchlist.push(id);
}

function pg_spec0_write(page) {
  vm_cache_write(pg_spec0_ns, page);
}
<% end %>

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
flok-0.0.40	app/kern/pagers/pg_spec0.js
flok-0.0.39	app/kern/pagers/pg_spec0.js