Added work and notification mailboxes to tcp-server demo stuff