From 1c2c2ebef226c8c7e68d66ae19c5e80cf22ac010 Mon Sep 17 00:00:00 2001 From: takashi Date: Wed, 8 Nov 2023 12:37:07 +0000 Subject: [PATCH] update --- src/dpid.html | 11 ++++------- src/hello.html | 6 +++--- 2 files changed, 7 insertions(+), 10 deletions(-) diff --git a/src/dpid.html b/src/dpid.html index 3ac4817..108dfe6 100644 --- a/src/dpid.html +++ b/src/dpid.html @@ -4,20 +4,17 @@

問題・對策

-

Dillo を實行すると、プロセス「dpid」が起動することがあります。これは Dillo の終了後も殘ります。次のシェルスクリプトを dillo の名前で、$PATH の通つた場所 (~/.local/bin など) に置いて實行権限を設定すれば、Dillo を終了した時に dpid も終了します。複數の Dillo を起動した時は、すべての Dillo を終了した時に「dpid」を終了します。

+

Dillo を實行すると、プロセス「dpid」が起動することがあります。これは Dillo の終了後も殘ります。次のシェルスクリプトを dillo の名前で、$PATH の通つた場所 (~/.local/bin など) に置いて實行権限を設定すれば、Dillo を終了した時に「dpid」も終了します。複數の Dillo を起動した時は、すべての Dillo を終了した時に「dpid」を終了します。

#!/bin/sh
 /usr/local/bin/dillo $@
 result=$?
-if [ ! `pgrep dillo` ] ; then
-    pkill '^dpid$'
-    pkill '\.dpi$'
-fi
+pgrep dillo || dpidc stop
 exit $result