Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/2146
Alright. I just reported my observation while trying this PR out.
You're right that it would blow up the scope of this PR. I guess the
easiest solution would be to properly document the behaviour when a user
submits jobs with the same name and to tell him that he should rather use the
job id in this case.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
