fix a bug in send_notification
fix a bug in send_notification

Ignore-this: 1d3351f588f98b03c6267638940a3add

darcs-hash:20101101163046-c41ad-5bba9e46fb220510d228b3768f0fc3d7888b2873.gz

avsm/lwt-OLD,avsm/lwt-OLD