In the main thread, I occasionally need to ask the user to ... method: while flushing the pausebuffer, the other thread fills it up and somewhere between the end of the while loop but before ...