Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
howto:panel_plugin_debug [2009/01/14 07:29] – 69.157.9.187 | howto:panel_plugin_debug [2009/01/14 07:31] – 69.157.9.187 | ||
---|---|---|---|
Line 51: | Line 51: | ||
If you want an interactive debug session with GDB, you can simply find the process id of the plugin by running | If you want an interactive debug session with GDB, you can simply find the process id of the plugin by running | ||
- | gdb / | + | |
- | which will find the PID of clipman, and debug it using the debug symbols in / | + | which will find the PID of clipman, and debug it using the debug symbols in / |
+ | |||
+ | (gdb) attach $PID | ||
+ | |||
+ | Again, the plugin must already be loaded for this to work. | ||
====== Some tips ====== | ====== Some tips ====== |