public static void withPageFiltered(ServerContext serverContext, String page, ScriptSessionFilter filter, Runnable task)
{
ScriptSessionFilter pageFilter = new PageScriptSessionFilter(serverContext, page);
ScriptSessionFilter realFilter = new AndScriptSessionFilter(pageFilter, filter);
TaskDispatcher taskDispatcher = TaskDispatcherFactory.get(serverContext);
taskDispatcher.dispatchTask(realFilter, task);
}
/**
* Execute a task and aim the output at a specific script session. This
* method is likely to be useful for directed updates that originate away