whole_func_string: function(id, lastEditId, readyCb){
  					//console.log('adding view task: ' + id + ' ' + lastEditId + ' ' + new Error().stack)
  					addViewTasks.push({id: id, lastEditId: lastEditId, cb: readyCb})
  					if(!hasViews){
  						poll()
  					}
  					hasViews = true
  				}
func_code_string: function(id, lastEditId, readyCb){
  					//console.log('adding view task: ' + id + ' ' + lastEditId + ' ' + new Error().stack)
  					addViewTasks.push({id: id, lastEditId: lastEditId, cb: readyCb})
  					if(!hasViews){
  						poll()
  					}
  					hasViews = true
  				}
func_documentation_string: changes before lastEditId will already be known to the client