equal
deleted
inserted
replaced
563 // --------------------------------------------------------------------------- |
563 // --------------------------------------------------------------------------- |
564 RESOURCE SSM_START_APP_INFO r_cmd_taskswitcher |
564 RESOURCE SSM_START_APP_INFO r_cmd_taskswitcher |
565 { |
565 { |
566 priority = 0xFFA7; |
566 priority = 0xFFA7; |
567 name = "z:\\sys\\bin\\taskswitcher.exe"; |
567 name = "z:\\sys\\bin\\taskswitcher.exe"; |
568 execution_behaviour = ESsmDeferredWaitForSignal; |
568 execution_behaviour = ESsmDeferredWaitForSignal; |
569 background = 1; // To background |
569 background = 1; // To background |
570 monitor_info = r_mon_3_restarts_ignore; |
570 monitor_info = r_mon_max_restarts_ignore; |
571 } |
571 } |
572 |
572 |
573 // --------------------------------------------------------------------------- |
573 // --------------------------------------------------------------------------- |
574 // r_cmd_createswp_noncriticalphase |
574 // r_cmd_createswp_noncriticalphase |
575 // --------------------------------------------------------------------------- |
575 // --------------------------------------------------------------------------- |