Add an API to get partition number

jakartaee / batch

The Jakarta Batch project produces the Batch Specification and API.

https://projects.eclipse.org/projects/ee4j.batch

Apache License 2.0

13 stars 17 forks source link

Add an API to get partition number #143

Open follis opened 3 years ago

follis commented 3 years ago

Every partition has a number, starting with zero. But the spec doesn't provide a way to find out what your number is. You might want to know for logging or to help generate a unique per-partition identifier for something.