[GitHub] flink issue #5031: [FLINK-8099] Reduce default restart delay to 1 second

2017-11-20 Thread aljoscha
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/5031 Merged ---

[GitHub] flink issue #5031: [FLINK-8099] Reduce default restart delay to 1 second

2017-11-20 Thread aljoscha
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/5031 @tillrohrmann I turned the option into a `ConfigOption`, it's still in `ConfigConstants`, though, but in the long-term the restart strategy options should probably all be migrated to `ConfigOption`