[MediaWiki-commits] [Gerrit] jheapdump: gdb-based heap dump for JVM - change (operations/puppet)

2014-11-11 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has submitted this change and it was merged. Change subject: jheapdump: gdb-based heap dump for JVM .. jheapdump: gdb-based heap dump for JVM create a java::tools class to include this tool since it might get

[MediaWiki-commits] [Gerrit] jheapdump: gdb-based heap dump for JVM - change (operations/puppet)

2014-11-04 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/170996 Change subject: jheapdump: gdb-based heap dump for JVM .. jheapdump: gdb-based heap dump for JVM Change-Id: