Re: Is Text_IO.Put_Line() thread-safe?

["Randy Brukardt" <randy@rrsoftware.com>]

"Simon Wright" <simon@pushface.org> wrote in message 
news:m2aa05jhcq.fsf@pushface.org...
> Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org> writes:
...
>> With a single faucet and independent temperature and pressure controls:

Ah, like the hotel in Stockholm. But you don't have this quite right.

>> Adjust pressure

Hollering because the water starts off cold and then slowly warms up...

>> Adjust temperature

And discover that it doesn't matter because no matter what you set it to, it 
immediately (but slowly) rotates back to fully hot. (Luckily, this being 
Europe, it wasn't hot enough to get scalded. The result would be different 
at home.)

...
At least most such faucets that I've used in here in the States aren't 
really independent -- they're pull for on or off (adjusting the pressure 
with any granularity is nearly impossible), and turn for temperature. Hotel 
faucets can be a real struggle, however, because they're so worried about 
someone getting scalded (and then suing them for $$$$) that they default to 
frigid and make it hard to get anything warm (especially annoying in the 
shower).

                                                    Randy.