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:31] – 69.157.9.187 | howto:panel_plugin_debug [2009/01/14 12:53] – 88.172.125.130 | ||
---|---|---|---|
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) continue | ||
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 / | ||
- | | + | |
Again, the plugin must already be loaded for this to work. | Again, the plugin must already be loaded for this to work. |