[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-06 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527812939 Thanks a lot for your contribution to the Apache Flink project. I'm the @flinkbot. I

[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-04 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527816485 ## CI report: * a658808b883045ccb7d6c5124be2130de8a79fbd : SUCCESS

[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-04 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527816485 ## CI report: * a658808b883045ccb7d6c5124be2130de8a79fbd : SUCCESS

[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-04 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527816485 ## CI report: * a658808b883045ccb7d6c5124be2130de8a79fbd : SUCCESS

[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-04 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527816485 ## CI report: * a658808b883045ccb7d6c5124be2130de8a79fbd : SUCCESS

[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-04 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527816485 ## CI report: * a658808b883045ccb7d6c5124be2130de8a79fbd : SUCCESS

[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-04 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527816485 ## CI report: * a658808b883045ccb7d6c5124be2130de8a79fbd : SUCCESS

[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-04 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527816485 ## CI report: * a658808b883045ccb7d6c5124be2130de8a79fbd : SUCCESS

[GitHub] [flink] flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side

2019-09-04 Thread GitBox
flinkbot edited a comment on issue #9609: [FLINK-13750][client][coordination] Separate HA services between client-side and server-side URL: https://github.com/apache/flink/pull/9609#issuecomment-527816485 ## CI report: * a658808b883045ccb7d6c5124be2130de8a79fbd : PENDING