CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/09/02 07:15:38
Modified files:
infrastructure/lib/DPB: Config.pm Host.pm MiniCurses.pm State.pm
infrastructure/lib/DPB/Core: Init.pm
Log message:
tweak some socket details
- store a master_pid for dpb once during startup, so that it doesn't ever
change later.
- use it for socket name building
- in case a host is dead, show the socket name instead of the host
- adapt minicurses to highlight the full socket name (requires /)
