Flush all the currently buffered output, so that the main thread can read it with pagelet_server_task_result()
function pagelet_server_flush(): void;
This is only meaningful in a pagelet thread.
void