rwiki pidfile patch.

What's this?

咳氏の RWiki は非常に良くできた wikiwiki script ですが、 残念ながら終了する方法が確立されていません。 現状では、ps などで pid を調べて kill するのが唯一の終了方法です。

% ps aux | grep rwiki.rb
katsuwo  30832  0.0  1.8  8096 5908 ?        S    Oct26   0:12 /usr/bin/ruby /usr/sbin/rwiki.rb
katsuwo  19961  0.0  0.1  1520  516 pts/0    S    17:23   0:00 grep rwiki.rb
% kill 30832

しかし、この方法では rwiki.rb が複数起動している場合に どの rwiki.rb を kill すればよいのか、人の手を介さなければ判断できません。 (もしくは、人の手によっても判断することができないかもしれません)

このパッチは起動時に pidfile を作ることで、確実に終了する方法を確保します。 私が debianize する際に init.d script から終了したかったとも言えます。

Usage

% rwiki.rb [--pidfile <pidpath>]

pidfile option で pidpath に pidfile を作成します。

例)
% rwiki.rb --pidfile /var/run/rwiki.pid

終了する場合は

% kill `cat /var/run/rwiki.pid`

とすれば ok ですよね。

License

rwiki と同じ条件 (Ruby's License (日本語)) で利用してください。

Download

<URL:rwiki-pidfile-2.0.1.patch.gz>

First release.

また、Debian な人には Debian GNU/Linux のある生活。 にて apt ready な deb package を用意してあります。 (というか、このパッチ自体が deb package の副産物です)

Attention

rwiki に取り込まれた場合、このページはやがて消滅するでしょう。

Author

かつを <katsuwo@monochrome.jp>