2 comments

[ 3.0 ms ] story [ 14.6 ms ] thread
The ironic part is that I've seen those combined with automatic flush--which has a tendency to go off multiple times anyway as one moves around. How does it know which way to flush, or do I want to know?