From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,534dd301375921ac
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.190.104 with SMTP id gp8mr627764pbc.4.1340306454399;
        Thu, 21 Jun 2012 12:20:54 -0700 (PDT)
MIME-Version: 1.0
Path: 
 l9ni4224pbj.0!nntp.google.com!news2.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!newsfeed.x-privat.org!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Is Text_IO.Put_Line() thread-safe?
Date: Thu, 21 Jun 2012 14:20:48 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <jrvs6k$9ef$1@munin.nbi.dk>
References: 
 <93201f1a-d668-485e-83b4-492bc283f36e@googlegroups.com><jrdc48$14h2$1@adenine.netfront.net><3fff1269-06f5-47a2-bc10-c2145b3a297d@googlegroups.com><jrdntv$1fi9$1@adenine.netfront.net>
 <m2ehphjz5l.fsf@pushface.org><jrdsgi$1iom$1@adenine.netfront.net>
 <m2aa05jhcq.fsf@pushface.org>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1340306452 9679 69.95.181.76 (21 Jun 2012 19:20:52 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 21 Jun 2012 19:20:52 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-RFC2646: Format=Flowed; Original
Date: 2012-06-21T14:20:48-05:00
List-Id: <comp.lang.ada>

"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.