mailboxprocessor does not terminate

Question

I have a timeout exception (and I really intend to set a timeout) inside a message loop and I have tried to catch it as follows

let rec messageLoop() = async{