diff mgtool.php @ 332:ffcd1225e85c

Rename PID variable.
author Matti Hamalainen <ccr@tnsp.org>
date Mon, 21 Nov 2022 12:20:35 +0200
parents c1de5571b59c
children 0ea16a3777b8
line wrap: on
line diff