2011-09-14 16:36:18 +02:00
|
|
|
\section2 Managing Device Processes
|
|
|
|
|
|
|
|
|
|
You can view processes running on devices and kill them. Select
|
2012-09-07 12:52:54 +02:00
|
|
|
\gui Tools > \gui Options > \gui Devices > \gui {Remote Processes}.
|
2011-09-14 16:36:18 +02:00
|
|
|
|
2012-09-07 12:52:54 +02:00
|
|
|
You can filter the processes by name in the \gui {List of Processes}
|
2011-09-14 16:36:18 +02:00
|
|
|
dialog.
|
|
|
|
|
|
|
|
|
|
To update the process list, select \gui {Update List}.
|
|
|
|
|
|
|
|
|
|
To kill a process, select it in the list, and then select \gui {Kill
|
2012-09-07 12:52:54 +02:00
|
|
|
Process}.
|
