2013-01-01から1年間の記事一覧
JMX over RMI で JMX モニタリングを行う際、サーバー側は「RMI registry port」（クライアントが接続時に指定するポート）と「RMI server port」（内部で使われるポート）と２つのポートを使います。後者の RMI server はデフォルトではランダムに振られる…
while [ 1 ]; do ps alx | grep <PID> | grep -v 'grep' | awk '{printf ("%d\t%s\n", $8,$13)}' ; sleep 5; done</pid>
