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