quitting arb via macro causes problems

[westram]

When playing back a macro which quits arb, problems arise.

Reproduce:

Playback a macro containing:

BIO::remote_action($gb_main,'ARB_NT','ARB_NT/QUIT');
ARB::close($gb_main);

Observations:

• BIO::remote_action never returns
• ARB::close is never reached
• socket used to communicate between ARB and the macro is not correctly closed, resulting in errors like

  Client (pid=14832) terminating after failure to contact database (Broken pipe).[waiting for DBENTRY 'tmp/remote/ARB_NT/authAck']
  [found DBENTRY 'tmp/remote/ARB_NT/authAck']
  

• afterwards the arb_launcher sometimes detects arb processes as 'still running'.
  These may be any of the following:
  • the still running macro (probably not, it claimed to have terminated, see error above)
  • arb_ntree; possible; arb_launcher reports:

    .../arb_launcher: line 25: 14820 Killed: 9               $CMD
    [arb_launcher[0]: 'arb_ntree --execute /Users/.../example.amc working-db.arb' has terminated with error 137]
    

  • ???
• after that the arb script fails to remove directories

  rmdir: /Users/jag22/.arb_prop/logs/20250725_012532.14911: Directory not empty
  

  This behavior is unwanted (but is expected to happen under these circumstances).
• if arb_ntree reports an error (see above), the whole script stops with message

  [press ENTER or wait 3 days]
  

  which is not useful when trying to run arb automated.

Required fixes:

• change macro execution (of action ARB_NT/QUIT) such that the macro terminates before arb
• [if happens] avoid that arb_ntree is killed by arb_launcher
• [optional] fix compressing logs and removal of directory
• add special mode for arb script, which avoids the requirement to press a key when arb crashes. Shall return different exitcode in that case.