PHPの静的解析 Phan/Psalm/PHPStan の違い
エラーチェックのためにPHPで静的解析ツールをする場合、Phan, Psalm, PHPStan を使えば良いということは検索ですぐ出てくるのだが、どれを使えばいいのか。
それぞれのツールで検知できるものが微妙に異なっているので、全部使うのが安全ではある。
それでも動作の違いや思想の違いを知っておきたいので調べる。
github.com
github.com
github.com
自分がエラーを検知してほしいまたは正しく型チェックしてほしいと思うコードを用意してそれぞれチェックしてみるのが手っ取り早い。
思いつくコードを調べてみた。
設定は基本的に初期のまま。PhanはREADMEにある設定、Psalmはレベル1、PHPStanはレベル8にした。(PsalmとPHPStanで検知レベルの向きが逆である)
<?php /** * @param array<int,string> $arr */ function test1(array $arr, ?int $index): ?string { $ret = null; if (isset($arr[$index])) $ret = $arr[$index]; return $ret; }
Phan | Psalm | PHPStan |
---|---|---|
PhanTypeMismatchDimFetchNullable | エラーなし | エラーなし |
Phan は配列のインデックスに nullable な値を指定するとエラーになる。
<?php /** * @param array<int,string> $arr */ function test1(array $arr): ?string { if (isset($arr[null])) return $arr[null]; return null; }
Phan | Psalm | PHPStan |
---|---|---|
PhanTypeMismatchDimFetchNullable | NullArrayOffset | エラーなし |
こちらはPsalmでもエラー。
PHPの文法的にはOKだが、null は自動的に空文字 '' に変換されるので、PHPStanも正しくはない。
<?php /** @return mixed */ function test2() { $a = $_GET['a']; return $a; }
Phan | Psalm | PHPStan |
---|---|---|
エラーなし | MixedAssignment | エラーなし |
Psalm は mixed の扱いに厳しい。
<?php function test3(): int { throw new Exception('err'); return 0; }
Phan | Psalm | PHPStan |
---|---|---|
PhanPluginUnreachableCode | エラーなし | Unreachable statement |
Psalm は未到達コードをチェックしないようである。
https://github.com/vimeo/psalm/issues/403#issuecomment-354441656
オプションを付ければチェックされるようだが、デフォルトではreturnやexitの後のコードはチェックされないようだ。
<?php /** * @template T of DateTimeInterface * @param T $d * @return T */ function test4($d) { $d->format('d'); return $d; }
Phan | Psalm | PHPStan |
---|---|---|
PhanUndeclaredClassMethod | エラーなし | エラーなし |
Phanはジェネリクスに of が使えないようだ。
<?php function test4(): void { var_dump(1); }
Phan | Psalm | PHPStan |
---|---|---|
エラーなし | ForbiddenCode | エラーなし |
Psalm は var_dump がエラーする。
エラーを見る限り、危険な関数の使用自体がチェックされるようである。
<?php /** * @template T of DateTime * @template U of DateTime * @param iterable<T,iterable<string,U>> $dss * @param callable(string):int $f * @return ?int */ function test5($dss, $f) { foreach ($dss as $k => $ds){ foreach ($ds as $s => $d){ $diff = $k->diff($d); if ($diff->format('%d') == 10) return $f($s); } } return null; }
Phan | Psalm | PHPStan |
---|---|---|
PhanUndeclaredClassMethod | エラーなし | エラーなし |
Phan は of が使えないのでエラー。PsalmもPHPStan も入れ子のジェネリクスとコールバック関数の型を理解できる。試しに戻り値の型を ?string にするとエラーになる。
<?php function test6($a) { echo 'a'; }
Phan | Psalm | PHPStan |
---|---|---|
エラーなし | MissingParamType, MissingReturnType | parameter $a with no typehint specified, no return typehint specified |
PHPStanの方がエラーが詳しいような書き方になってしまったがそうではなく、Psalm のようなエラーの型がないだけである。Psalmも詳しいメッセージは出力されている。
Psalm と PHPStan は型が必須のようだ。
<?php /** * @template T * @param class-string<T> $c * @return T */ function test7($c) { return new $c; }
Phan | Psalm | PHPStan |
---|---|---|
エラーなし | MixedMethodCall | エラーなし |
Psalm は mixed に厳しい。コンストラクタの引数が分からないのでnew できるかは不明というのは正しい。
<?php interface Foo { public function bar(string $bar, int $baz): int; } class FooImpl implements Foo { public function bar(string $_, int $i): int { return $i++; } }
Phan | Psalm | PHPStan |
---|---|---|
PhanParamNameIndicatingUnused | ParamNameMismatch | エラーなし |
PhanとPsalmはパラメーター名が異なればエラー。
今までは単なるコード整形だったけれども、PHP8 で named parameters が来ると意味が変わってくる。
<?php abstract class P { abstract protected function a(DateTimeImmutable $d): DateTimeInterface; } class C extends P { protected function a(DateTimeInterface $d): DateTimeImmutable { return new DateTimeImmutable($d->format('y-m-d')); } }
Phan | Psalm | PHPStan |
---|---|---|
PhanParamSignatureRealMismatchParamType, PhanParamSignatureRealMismatchReturnType | MethodSignatureMismatch | エラーなし |
PHPStanだけPHPの文法に合うようになっている。 (※コメントも参照)
PhanとPsalmはわざとエラーにしている?でもエラーメッセージを見ると共変性と反変性をあえて禁止にしているようには見えない。
<?php function test8(int $i): bool { switch(true){ case $i <= 10: return true; break; case $i > 10 && $i <= 20: return false; break; default: return true; break; } return true; }
Phan | Psalm | PHPStan |
---|---|---|
PhanPluginUnreachableCode | エラーなし | Unreachable statement, Comparison operation ">" between int<11, max> and 10 is always true. |
Psalm はデッドコードをチェックしない。
PHPStanは、条件10がかぶっていることを見つけてエラーにする。
<?php function test9(string $s): string { return sprintf('foo%s, %s', $s); }
Phan | Psalm | PHPStan |
---|---|---|
PhanPluginPrintfNonexistentArgument | エラーなし | Call to sprintf contains 2 placeholders, 1 value given. |
PhanとPHPStan はsprintfのフォーマットをチェックする。
<?php function test9(string $s): string { return sprintf('foo%s, %s', $s, 1); }
Phan | Psalm | PHPStan |
---|---|---|
PhanPluginPrintfIncompatibleArgumentType | エラーなし | エラーなし |
Phanは更に型までチェックする。
PHPStan も実は型をチェックしていて、1をnew DateTimeに変えるとエラーになる。bool|float|int|string|null を受け付けるようだ。
さて、大まかな違いが見えてきた。
Phanは全体的にバランス良くチェックしようとしているが、ジェネリクスの機能が弱い。関数のシグネチャに型がなくてもスルーする。レガシーコードに利用するのに向いていそうだ。
Psalmはmixedに厳しく、全ての型を指定しろという強い意志を感じる。新規プロジェクトに向いている。
PHPStanはPHPが許す文法には寛容に見えるし、mixedをスルーして共変性と反変性を正しく実装しているのは元々のPHPの動作を尊重しているからかもしれない。
※ この記事はQiitaの PHP その2 Advent Calendar 2020 の5日目の記事、今空いてたから登録した。
※ 12/7 追記
コメントをもらったので再チェック。
psalm の使い方が分かってないのかも…。
% ./vendor/bin/psalm --clear-cache Cache directory deleted % ./vendor/bin/psalm --version Psalm 4.2.1@ea9cb72143b77e7520c52fa37290bd8d8bc88fd9 % % ./vendor/bin/psalm Scanning files... Analyzing files... E ERROR: MethodSignatureMismatch - src/functions.php:9:5 - Method C::a with return type 'DateTimeImmutable' is different to return type 'DateTimeInterface' of inherited method P::a (see https://psalm.dev/042) public function a(DateTimeInterface $d): DateTimeImmutable ERROR: MethodSignatureMismatch - src/functions.php:9:41 - Argument 1 of C::a has wrong type 'DateTimeInterface', expecting 'DateTimeImmutable' as defined by P::a (see https://psalm.dev/042) public function a(DateTimeInterface $d): DateTimeImmutable ------------------------------ 2 errors found ------------------------------ Checks took 0.44 seconds and used 57.117MB of memory Psalm was able to infer types for 100% of the codebase % % cat src/functions.php <?php abstract class P { abstract public function a(DateTimeImmutable $d): DateTimeInterface; } class C extends P { public function a(DateTimeInterface $d): DateTimeImmutable { return new DateTimeImmutable($d->format('y-m-d')); } }
https://psalm.dev/r/52f57aeabe と結果が異なる。
Linux Kernel 5.8 で Ansible の service, systemd がエラーになる
めっちゃハマった。
別のPCからAnsibleをそのまま持ってきてコンテナに実行したらエラーになった。
RUNNING HANDLER [common : reload nginx] **************************************************************** [WARNING]: The service (nginx) is actually an init script but the system is managed by systemd fatal: [app-php.local]: FAILED! => {"changed": false, "msg": "Service is in unknown state", "status": {}}
ansibleのserviceをsystemdにしてもダメ。
変わったのはカーネルバージョンのみで、OSのバージョンは同じ。
Debianでカーネルだけ5.8にしたものでエラーが出た。
カーネル5.8のsystemdのバグらしい。
コンテナだから中のゲストカーネルも同じ5.8になっちゃうよねえ…。
現段階では、カーネルバージョンを下げるか、少し待って最新版をDLするか、修正を自分で適応させるしかないっぽい。
まだissueのスレッドは進行中。
2日前に回避用の修正はプルリクされたようだ。
github.com
カーネルのバージョン5.7にできれば一番良いんだろうけど、公式パッケージがないとつらい。buster-backports のカーネルって新しいカーネルが出るたびにバージョンアップされるのかな?
5.9になったら直っていることを祈りつつ。
ひとまず、設定が進まないのでパッケージで入れたansibleの /usr/lib/python3/dist-packages/ansible/modules/system/systemd.py を手動修正した。
Debian の KDEデスクトップ設定メモ
gdm3をインストール。
大量に関連パッケージがインストールされるが、気にしないことにした。
セッションはKDE。
Alt + Tabのアニメーション
・システム設定 > ディスプレイとモニタ > Compositor > アニメーションの速度
Alt + Tabだけの動作は変えられない?
Alt + Tab のUI
・ウィンドウの操作 > タスクスイッチャー > 選択したウィンドウを表示するの下のアイコンでテーマを選ぶ
MediumDefault に設定した
2020/10/29 apt install kwin-addons してからLarge Icons にした
日本語入力
apt install ibus-mozc
Mac風IME切り替え設定にする。変換/無変換/かな でひらがな <=> カタカナの変換は無し。
konsoleのデフォルトプロファイル設定。
vi .config/konsolerc
[Desktop Entry] DefaultProfile=default.profile
default というプロファイルを作ったら、このような指定にする。
メニューからの変更や起動時の konsole --profile default では駄目だった。(Ctrl + Shift + N で新しいウィンドウを作ったときに無効になる)
メニューバーをオフにしたあとにオンで立ち上げるには konsole --show-menuba で起動する。
検索すると konsolerc の置き場所が色々出てくるけど、自分の場合(Debian buster)は .config だった。
Debian 10 に Wine 5 をインストール (Photoshopインストールできず)
Debian - WineHQ Wiki
apt の「壊れた変更禁止パッケージ」への対処方法 | marmooo's blog
Winetricks - WineHQ Wiki
Installing Adobe Photoshop on Linux – Linux Hint
Solved: Is it legal to use Photoshop with wine? - Adobe Support Community - 9793726
Wine で WIndows アプリ インストール 設定 - memomuteki
取り敢えず実行したコマンド一覧のメモ。
詳しくはリンク先参照。
dpkg --add-architecture i386 wget -nc https://dl.winehq.org/wine-builds/winehq.key sudo apt-key add winehq.key echo "deb https://dl.winehq.org/wine-builds/debian/ buster main" >> /etc/apt/sources.list.d/wine.list apt update wget https://download.opensuse.org/repositories/Emulators:/Wine:/Debian/xUbuntu_18.04/amd64/libfaudio0_19.07-0~bionic_amd64.deb wget https://download.opensuse.org/repositories/Emulators:/Wine:/Debian/xUbuntu_18.04/i386/libfaudio0_19.07-0~bionic_i386.deb dpkg -i libfaudio0_19.07-0~bionic_amd64.deb apt install libc-bin apt --fix-broken install dpkg -i libfaudio0_19.07-0~bionic_i386.deb apt install --install-recommends winehq-stable apt install playonlinux
PlayOnLinux は https://www.playonlinux.com/en/download.html 公式のバージョンと同じだったのでaptでインストールした。
PlayOnLinuxの「インストールメニュー」で止まるバグの根本的な解決法 - Qiita
翻訳バグがあるので修正。
apt install gettext cp /usr/share/locale/ja/LC_MESSAGES/pol.mo . msgunfmt pol.mo -o fix_pol.po vi pol.po msgfmt fix_pol.po -o fix_pol.mo
PlayOnLinuxにwineが表示されないので、再度wineをインストールした。winehq-stableはインストールしなくて良かったかもしれない。というか複数バージョンでややこしくなるから、どちらかに統一した方が良い…?
インストールメニューからAdobe CCをインストールしようとすると、Wine 3.0.3 がインストールされた。先に wine 5 をインストールしていても同じっぽい。どういうことだろう…。
cd mkdir bin cd bin wget https://raw.githubusercontent.com/Winetricks/winetricks/master/src/winetricks chmod +x winetricks ./winetricks allfonts winetricks atmlib gdiplus vcrun2008 vcrun2010 vcrun2012 vcrun2013 vcrun2015 atmlib msxml3 msxml6 gdiplus
vcrun2012、vcrun2015でエラーが出たので、それはスルーで。vcrun2017があったので入れる。
windowsの バージョンを10にする。
wineboot -u winecfg
古いインストーラー http://ccmdl.adobe.com/AdobeProducts/KCCC/1/win32/ACCCx4_5_0_331.zip はクラッシュ、自分のWindowsでDLしたインストーラーは"captcha validation has failed"と出てログインできない。インストーラーの起動は出来たんだが。
winehq-staging を入れてバージョンを上げて再度トライ。~/.wine は一旦削除。
そうするとwinetricksでエラーが起きず、古いAcobe CCインストーラーはインストールできた。でも立ち上げるとローディングアイコンがずっとクルクルして進まなかった。
WineHQ - Adobe Photoshop CC 2020 (21.0)
これは無理なのかな。
VMwareにWindowsを入れてもいいけど、デュアルブートのWindowsが無駄になるんだよなあ…。どうしよ。
追記:
WineHQ Bugzilla – Bug 47015 – Photoshop CC2019 login screen content does not render without native msxml3
最後のコメントに、captchaについて書かれていた。2020-09-22 なので最近の更新?もう少し早く試せば良かったか…。
Lenovo ThinkPad P17 に Debianをインストールする
今までMacBook Pro の VMware Fusion で Linux を使っていたんだけど、もう直接Linuxを使った方がいいかと思って。
新しいノートパソコンはLenovoのでかいやつ。17インチ。
www.lenovo.com
ThinkPad P17 はWindows用のドライブとは別に、空のSSDがもう一つ付けた。メモリも増やし、ディスプレイも3840 x 2160 に変更した。
これをDebian 10 とWindows 10 でデュアルブートにする。デュアルブートで設定するのは15年ぶりぐらい。
一つ前のバージョンなら、ここに公式のセットアップガイドがある。
https://download.lenovo.com/pccbbs/mobiles_pdf/lenovo_thinkpad_p53_p73_debian10_installation_v1.0.1.pdf
UEFI BIOSのデザインが全然変わっているが、項目はだいたい同じなのでここの通りに設定する。
注意点は、Windowsも使うなら、先にWindowsのBitLocker ディスクの暗号化を解除しておく。
これをやらずにBIOSのセキュリティを無効にしてしまうと、Windowsのディスクが読み込めなくなる。幸い、Windowsのアカウントでログインして回復キーを取得するように案内されるので、その通りにして事なきを得た。アカウントの種類によっては詰んでた可能性がなきにしもあらず。
Windows 10 Homeだったので適当にoutlookのメールを新規登録してアカウントは作ってあった。
Boot Order は、USB HDD?とりあえずUSB系を上に移動する。
「Section 2 – Discrete vs Hybrid Graphics」のハイブリッドもやめて、「Discrete Graphics」を選んでnvidiaだけを使う設定にする。
DebianのインストーラーはUSBにコピーする。
4.3. USB メモリでの起動用ファイルの準備
# cp debian.iso /dev/sdX # sync
特にddとかツールとかではなく、ただコピーする。(mountはしない)
最近のインストーラーは、これだけで旧BIOSとUEFIと両方に対応したインストールメディアが作れるみたい。
有線LANは繋いでおく。ポートがあって良かった。有線がなかったら更に面倒なことになっていた。
taskselでデスクトップはKDEを選ぶ。本当はLXDEかMATEが良かったんだけど、スケーリング解像度に対応しておらずフォントやメニューのサイズがおかしくなるので、諦めてKDEに。
nvidia-settings でも倍率を設定できるけど、ダメっぽかった。
空のディスクで一つのパーティションでインストールする。
ドライバはPDFの通りにせずに、apt install nvidia-driver を入れる。Wi-Fiドライバはまだ入らない。
en:users:drivers:iwlwifi [Linux Wireless]
カーネルを5.2以上にバージョンアップする必要がある。
sources.list に backports を書いて、linux-image-5.8 を入れる。
細かいバージョンごとに全部選べるみたいだけど、昔はこんなのあったっけ?新しいカーネルが順次追加されていってるようで、これならDebianでハードウェアが認識せずに困ることは無くなるのかも。
取り敢えず一覧の中から新しい Linux Kernel 5.8.0-0.bpo.2-amd64 をインストールすることにした。
カーネルのバージョンを上げたら
apt install -t buster-backports nvidia-driver apt install -t buster-backports firmware-iwlwifi
でドライバのインストール。
この辺、ちょっと試行錯誤してPDFの通りにソースから入れたりもしたので、これだけで動かないこともあるのかも。
https://wireless.wiki.kernel.org/_media/en/users/drivers/iwlwifi/iwlwifi-qu-48.13675109.0.tgz
一応これもDLしてたけど、同じファイルが firmware-iwlwifiパッケージ(中身は違うっぽい) にあった。
ここでnvidia-driver を入れているので、ここまでの作業はコンソールの黒い画面に超小さい文字で作業しないといけない。ちょっとつらい。
あとDebianインストール時にGRUBのインストールをどうするかという質問がなかった。
勝手にデフォルトのブートローダーが書き換わってしまった?再起動したらGRUBになる。問題ないと言えば無いんだけど…。
ブートローダーはWindows Boot Managerのまま、WindowsとLinuxでデュアルブート/GRUB4DOSを使ってデュアルブート - LinuxJapanWiki - アットウィキ
こっちをやろうと思っていた。インストールはAdvancedを選ぶ必要があったかもしれない。ほとんど何の質問もなくすぐインストール完了までいくとは思わなかった。
次回、何らかのアップデートでブートローダーが書き換わることがあったらやってみる。
せっかくハードウェアに指紋認証があるので、Linuxでも使いたい。
https://gitlab.freedesktop.org/libfprint/libfprint/-/tags
最新版をexperimentalでインストールすれば、バージョン的には対応しているっぽいけれど
https://askubuntu.com/questions/1214592/fingerprint-reader-lenovo-thinkpad-l13-synaptics-driver
一筋縄ではいかないようだ。
lsusb | grep Synaptics Bus 001 Device 003: ID 06cb:00bd Synaptics, Inc.
今は無理だけど
apt install libpam-fprintd pam-auth-update
を実行すると一括でpam設定してくれる。
2020/10/16追記:
今試したらいけた。
元々インストールしていたfprintd関連のパッケージを全て apt remove --purge してから、もう一度
apt install -t experimental libpam-fprintd
でインストールし直した。それでrootでfprintd-verifyすると普通に動いた。
指紋の登録は
fprintd-enroll
を実行する。
その後、pam-auth-update で各種パスワード入力の場所で指紋認証が使えるようになる。
デスクトップへのログインは、一度パスワードでログインしないと対応されない?ログインしてからログアウトして、再びログインするときには指紋認証が出るんだけど。
sudo はデフォルトが指紋認証になっていて、パスワード認証はしばらく待つ?
ちょっと使い勝手が分からない。
2020/10/20追記:
Support fingerprint reader login · Issue #284 · sddm/sddm · GitHub
sddmじゃなくてgdmを使えということか…。
gdm3を入れたらgnome関連のパッケージが大量にインストールされた。見た目が良くなって指紋認証ログインも使えるようになった。
ただ、起動直後は10秒ぐらい待たないとデバイスが認識されない。
askubuntu.com
うーん…未解決。画面ロック時の指紋認証は、パスワードが空の状態でEnterを押せばすぐにできる。
それから、関係は不明だけれどWi-Fiのパスワードが記憶されなくなってしまった。パスワードの保存を all users (not encrypted) にすれば記憶できた。最初の設定がどうなっていたか分からん…。not encryptedでいいんだっけ?
kde wallet使ってないから元々encryptedは無理な気もする。
noindex と canonical を同時に指定するとGoogleクローラーはどう動くかというテストのための記事
noindexとcanonicalを併用するのは良くない。というのがもっぱらの通説。
何っ! PWAがデスクトップでも動くだと? しかも最高だと?【SEO記事12本まとめ】 | 海外&国内SEO情報ウォッチ | Web担当者Forum
重複コンテンツ対策にはrel=canonicalを推奨、noindexタグではシグナルがすべて失われる | 海外SEO情報ブログ
リンクをたどっていくと
2 questions about the canonical tag : TechSEO
No Index & Rel Canonicals At The Same time? No Way!
この辺りの記事に行き着く。
もう少し詳しい記事は
Rel Canonical and No Index No Follow on Same Page Google SEO
こっちにある。
でもねえ…。
canonicalとnoindexはまったく別の概念で、検索エンジンにインデックスさせたくないことと正規URLに誘導したいということは両立する。
そもそもnoindexを解析するためにはhtmlを読んでいる必要があり、canonicalも読んでいるはずなんだけど。
メタ情報という意味では同じだし、検索エンジンには出したくないけどSNSやリンク共有では綺麗なURLを見せたいというユースケースもあるはず。
というわけで、noindex + canonical のページへのリンクを貼っておく。
The auto wiring container for only one file with 200 lines.
現状、Googlebot のクローラーは noindex があっても canonical の方のURLも同時に見に行ったのはアクセスログで確認した。サーチコンソールにもどこからもリンクされていないcanonicalの方のURLが登録されていた。
手抜きして文章をコピーしたので検索結果には出てきてない模様。コピー元の方が出てきた。
noindexが効いて出てこないのか、重複コンテンツで出てこないのか、分からなくなってしまった。
もう一度文章を変えて様子見中。
最初の1回だけcanonicalを見に行ったのか、常に見に行くのかのテストにもなる。
テストページじゃなくてもうちょっとちゃんとしたサイトが欲しいところだけど。
xmodmap をログイン時(Xセッション起動時)に実行する
Debuan buster にアップグレードしたら xmodmapが自動実行されなくなっていたのでメモ。
以前やった設定は
MacBook Pro の初期設定のメモ その2 - ログ日記
ここ。
Linuxの設定じゃなくてMacの設定として書いてた。
それで、.xsessionrc や .xinitrc や .xsession のどれがどうなっているのかあまり把握していなかったのでメモ。
.xsessionrc というのはDebian系専用の設定らしい。
ディスプレイマネージャーがどれでも実行される。
rg .xsession /etc/X11/
とかで検索すれば実際の動きを調べられる。
.xsessionや.Xsession(この順で探索されて先に見つかった方)は、設定があればスタートアップスクリプトとしてデフォルトのx-session-managerの代わりに実行される。
.xinitrcは手動でstartxしたとき用?
.xsessionrcは
if [ -r "$USERXSESSIONRC" ]; then . "$USERXSESSIONRC" fi
で読み込まれる。(実行ではない)
それなら今までの設定で合ってるじゃん、と思って sleep を 3 から 10 にしたら起動できた。
GUIのログインセッションの起動で結構待たないとダメなんだね。
以前はスクショだったのでテキストで再掲しておく。
$ cat .xsessionrc /home/nishimura/bin/run_xmodmap.sh & $ cat bin/run_xmodmap.sh #!/bin/bash sleep 10 /usr/bin/xmodmap /home/nishimura/.xmodmap $ cat .xmodmap remove lock = Eisu_toggle remove mod1 = Alt_R
10/5 追記
PC立ち上げ時では実行されなかった。
もっとsleepしないとダメ?何か他にGUI系が立ち上がったトリガーがあれば良いんだが…。
10/7 追記
実行できるまで繰り返すことにした。
until /usr/bin/xmodmap /home/nishimura/.xmodmap; do sleep 3 done
それはそうと、ゾンビプロセスがずっと残ってる。何か起動の仕方を間違っている気がしないでもない。