$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: Peter Dimov (pdimov_at_[hidden])
Date: 2004-09-29 08:52:16
Alexander Terekhov wrote:
>
> I mean that current expired() doesn't synchronize the local view
> of counter and hence may never return true (absent some user's
> synchronization).
On which platform?