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 by [19513]
• avoid that arb_ntree is killed by arb_launcher unwise. required e.g. if merge-tool is running and has dead-locked for some reason.
• [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. with [19515] by introducing an environment variable.
• avoid question "sure to quit?" by [19514]

[westram]

arb macro that saves the db and terminates arb. macro itself continues running.

[westram]

Use the attached macro from CLI:

arb --execute save-and-terminate demo.arb

Note, that this will save demo.arb as ~/tmp/savename.arb

Behavior:

• r19512: crashes
• r19513:
  • waits for termination (click to terminate the macro) or
  • gets forced-quit after 100s (still crashes).

[westram]

by [19513:19517].

[westram]

macro provoking arb to exit with code!=0

[westram]

will trigger "are you sure?"-prompt in NDEBUG versions ⇐ r19513