Only call addrspace_destroy() if USERPROG.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 1 Sep 2004 22:55:29 +0000 (22:55 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 1 Sep 2004 22:55:29 +0000 (22:55 +0000)
commitc9d103e3fc1f398acb10bbaa66bf5a61318d26e9
treee4fa2b860e07d6932fdcba3b4f0e3ec67164e466
parentc076973fb0f4a2cc5a8b17caba55f70344e89ea8
Only call addrspace_destroy() if USERPROG.
src/threads/thread.c