被験者はそれをすべて言います。
アプリケーションがたとえば^Cで終了した場合に、コードを実行したいと思います。
使用AppDomain.ProcessExit
(http://msdn.microsoft.com/en-us/library/system.appdomain.processexit.aspx):
System.AppDomain.CurrentDomain.ProcessExit.Add(fun _ -> ...)
以下のコードを参照してください。コンソールアプリでCtrl-Cを処理するには、Console.CancelKeyPressイベントを使用します。
// does not work - no exception on Ctrl-C
//System.AppDomain.CurrentDomain.UnhandledException.Add(
// fun _ -> printfn "app is about to die")
System.Console.CancelKeyPress.Add(
fun _ -> printfn "app is about to die")
printfn "starting..."
System.Threading.Thread.Sleep(5000) // press Ctrl-C
printfn "ended"