yankejustin b95f7f9268 Disposed of process on the shell closing ...

Disposed of any additional resources that weren't being disposed after
closing the shell session.
Also told the garbage collector to suppress finalization if we have
already told the session to close. No reason to clean the object twice!
:)

2015-03-17 18:54:03 -04:00

..

Shell.cs

Disposed of process on the shell closing

2015-03-17 18:54:03 -04:00