I have now updated the PR with batch mode in mind. Please have a look.
Note: the PR is of course in complete because it needs modification in the Java side.
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
