Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upMake the host and port configurable #95
Open
Labels
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Currently, the JDBC string containing the host name and port is hardcoded. For example, consider the connection string for MySQL:
sqlancer/src/sqlancer/mysql/MySQLProvider.java
Line 248 in e62224e
It would be desirable to make this configurable. We could provide an option to set the JDBC string for each DBMS. For example, for MySQL, the string could look like this:
We could then also provide two options to set the host name and port, which are then used to replace the placeholder in the JDBC string.
This would make everything configurable, but also be convenient for users. Most users could go with the default options. Some users might need to configure the port and host. Only very few users probably would need to change the JDBC query string.