From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Mon,  7 Aug 1995 17:52:55 -0400
From: Scott Schwartz schwartz@galapagos.cse.psu.edu
Subject: No subject
Topicbox-Message-UUID: 13746f7e-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19950807215255.K_NVjdPUJNjKNSuHug1XQzNcsSoxy4UeBRXgdQtvV2I@z>

Why does this happen...  I run dossrv, and then exit, and the shell
doesn't go away until dossrv is killed from another window.