]> git.plutz.net Git - httpchat/commitdiff
remove expired connections from nick list
authorPaul Hänsch <paul@plutz.net>
Thu, 19 Nov 2020 01:52:39 +0000 (02:52 +0100)
committerPaul Hänsch <paul@plutz.net>
Thu, 19 Nov 2020 01:52:39 +0000 (02:52 +0100)
channel.sh

index 0f1bda7ecd6cb2285c9db1522f9fbaeea43a2a1d..a59a5a46ddced0c0b7e1daa8559eea04f25f0cd2 100755 (executable)
@@ -32,7 +32,7 @@ nicklist(){
   local nickfile="${chatfile%/channel}/nicks"
   case $1 in
     enter)
-      trap 'sed -i -E "/^${SESSION_KEY%%-*} $$ /d" "$nickfile"' INT QUIT
+      trap 'nicklist leave' INT QUIT
       sed -i -E "/^${SESSION_KEY%%-*} /d" "$nickfile"
       printf '%s %i %s\n' "${SESSION_KEY%%-*}" "$$" "$nickname" >>"$nickfile"
     ;;
@@ -43,7 +43,8 @@ nicklist(){
 
   nicklist='NICKNAMES: '
   while read -r s p nick; do
-    nicklist="${nicklist}/$nick/"
+    [ -d "/proc/$pid" ] && nicklist="${nicklist}/$nick/" \
+    || sed -i -E "/^$s $p /d" "$nickfile"
   done <"$nickfile"
   if ! tail -n20 "$chatfile" |grep -qxF "$nicklist"; then
     printf '%s\n' "$nicklist" >>"$chatfile"