[Boost-users] [signal] How to disconnect?