mono restart