diff src/main/java/org/monetdb/client/JdbcClient.java @ 698:6beecac8aa1b

Use indexOf(char) instead of indexOf(String) where possible.
author Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
date Thu, 24 Nov 2022 14:35:52 +0100 (2022-11-24)
parents 844139b33cdd
children bdeabbd46ec6
line wrap: on
line diff
--- a/src/main/java/org/monetdb/client/JdbcClient.java
+++ b/src/main/java/org/monetdb/client/JdbcClient.java
@@ -284,7 +284,7 @@ public class JdbcClient {	/* cannot (yet
 
 		// build the hostname
 		String host = copts.getOption("host").getArgument();
-		if (host.indexOf(":") == -1) {
+		if (host.indexOf(':') == -1) {
 			host = host + ":" + copts.getOption("port").getArgument();
 		}
 
@@ -963,7 +963,7 @@ public class JdbcClient {	/* cannot (yet
 					String obj_nm = object;
 					int len;
 					boolean found = false;
-					final int dot = object.indexOf(".");
+					final int dot = object.indexOf('.');
 					if (dot > 0) {
 						// use specified schema
 						schema = object.substring(0, dot);