#quit;;

This kills the current fsi. The plugin prompts you to hit a key to restart fsi. I haven't noticed any problems with this (at least using recent builds).

By on 8/7/2007 7:33 PM ()
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper