I implemented this just the way Chris suggested, but I don't have commit privileges to the karlserve project so I made a fork and a pull request:
https://github.com/karlproject/karlserve/pull/2
I implemented this just the way Chris suggested, but I don't have commit privileges to the karlserve project so I made a fork and a pull request:
https:/ /github. com/karlproject /karlserve/ pull/2