[GitHub] zookeeper pull request #553: continue can be replaced with break

2018-07-16 Thread a470577391
Github user a470577391 closed the pull request at: https://github.com/apache/zookeeper/pull/553 ---

[GitHub] zookeeper pull request #553: continue can be replaced with break

2018-06-28 Thread tamaashu
Github user tamaashu commented on a diff in the pull request: https://github.com/apache/zookeeper/pull/553#discussion_r198879610 --- Diff: src/java/main/org/apache/zookeeper/server/persistence/FileTxnLog.java --- @@ -254,7 +254,7 @@ public synchronized boolean append(TxnHeader

[GitHub] zookeeper pull request #553: continue can be replaced with break

2018-06-28 Thread a470577391
Github user a470577391 commented on a diff in the pull request: https://github.com/apache/zookeeper/pull/553#discussion_r198817324 --- Diff: src/java/main/org/apache/zookeeper/server/persistence/FileTxnLog.java --- @@ -254,7 +254,7 @@ public synchronized boolean append(TxnHeader

[GitHub] zookeeper pull request #553: continue can be replaced with break

2018-06-28 Thread a470577391
Github user a470577391 commented on a diff in the pull request: https://github.com/apache/zookeeper/pull/553#discussion_r198784188 --- Diff: src/java/main/org/apache/zookeeper/server/persistence/FileTxnLog.java --- @@ -254,7 +254,7 @@ public synchronized boolean append(TxnHeader

[GitHub] zookeeper pull request #553: continue can be replaced with break

2018-06-28 Thread maoling
Github user maoling commented on a diff in the pull request: https://github.com/apache/zookeeper/pull/553#discussion_r198735418 --- Diff: src/java/main/org/apache/zookeeper/server/persistence/FileTxnLog.java --- @@ -254,7 +254,7 @@ public synchronized boolean append(TxnHeader hdr,

[GitHub] zookeeper pull request #553: continue can be replaced with break

2018-06-27 Thread a470577391
GitHub user a470577391 opened a pull request: https://github.com/apache/zookeeper/pull/553 continue can be replaced with break FileTxnLog.getLogFiles() continue can be replaced with break You can merge this pull request into a Git repository by running: $ git pull