Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove non-ascii colon in JedisSentintelPool #2062

Closed
wants to merge 1 commit into from

Conversation

NickFirmani
Copy link

This character will fail to compile unless compiled with the additional compiler option -Dfile.encoding=UTF8

@@ -287,8 +287,8 @@ public void run() {
*/
List<String> masterAddr = j.sentinelGetMasterAddrByName(masterName);
if (masterAddr == null || masterAddr.size() != 2) {
log.warn("Can not get master addr, master name: {}. Sentinel: {}:{}.",masterName,host,port);
}else{
log.warn("Can not get master addr, master name: {}. Sentinel: {}: {}.",masterName,host,port);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why did you add a white space? where is none ascii?

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The colon is the non ascii character here, GitHub just renders it as such. Before after :

Copy link
Collaborator

@sazzad16 sazzad16 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

Comment on lines +290 to +291
log.warn("Can not get master addr, master name: {}. Sentinel: {}: {}.",masterName,host,port);
} else{
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please remove wrongful and/or unnecessary spaces.

@sazzad16 sazzad16 removed the request for review from gkorland October 27, 2019 13:58
@sazzad16
Copy link
Collaborator

@gkorland We should not merge this right now, in https://github.com/xetorthio/jedis/pull/2062/files#diff-e6525ac1a247b59a49332a6584030684R290 it changes host:port to host:<space>port. This should not happen.

@sazzad16
Copy link
Collaborator

@gkorland Please see #2107

@gkorland
Copy link
Contributor

@sazzad16 Ok I see your point, let's merge the other PR and close this one.

@gkorland gkorland self-requested a review November 26, 2019 08:29
sazzad16 added a commit that referenced this pull request Nov 26, 2019
Details about this PR can be found in #2062 .
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants