Note that if you are using a csh (e.g. tcsh) variant with the default
settings, you don't need to use nohup.  Just put it in the background and
logout.

Mike