[GitHub] zentol commented on issue #6542: [FLINK-6437][History Server] Move history server configuration to a separate file

zentol commented on issue #6542: [FLINK-6437][History Server] Move history server configuration to a separate file URL: https://github.com/apache/flink/pull/6542#issuecomment-429609834 My opinion hasn't changed, I still don't think that it is worth it. Separating the HistoryServer

[GitHub] zentol commented on issue #6542: [FLINK-6437][History Server] Move history server configuration to a separate file

zentol commented on issue #6542: [FLINK-6437][History Server] Move history server configuration to a separate file URL: https://github.com/apache/flink/pull/6542#issuecomment-412622673 well I still like the idea of separate config files, but the JIRA discussion happened more than a

[GitHub] zentol commented on issue #6542: [FLINK-6437][History Server] Move history server configuration to a separate file

zentol commented on issue #6542: [FLINK-6437][History Server] Move history server configuration to a separate file URL: https://github.com/apache/flink/pull/6542#issuecomment-412590513 That strategy is already implemented, but it doesn't really address backwards compatibility imo. I would

[GitHub] zentol commented on issue #6542: [FLINK-6437][History Server] Move history server configuration to a separate file

zentol commented on issue #6542: [FLINK-6437][History Server] Move history server configuration to a separate file URL: https://github.com/apache/flink/pull/6542#issuecomment-412430748 I don't think we should do this _now_. It seems like there's little to gain at this point, since we