MPI parcelport does not exit cleanly for --hpx:print-bind

[eschnett]

When I use --hpx:print-bind with mpirun -np 2, then I receive the following warning:

0: 0x0000000000000001
1: 0x0000000000000004
0: 0x0000000000000010
1: 0x0000000000000040
--------------------------------------------------------------------------
mpirun has exited due to process rank 0 with PID 27533 on
node nvidia exiting without calling "finalize". This may
have caused other processes in the application to be
terminated by signals sent by mpirun (as reported here).
--------------------------------------------------------------------------

It seems that MPI_Finalize is not called.

[hkaiser]

That should be fixed with #890. Could you recheck, please?

[hkaiser]

I'm closing this, please reopen if necessary.