Skip to content
Snippets Groups Projects
Commit b65c290c authored by Jeremy Whiting's avatar Jeremy Whiting
Browse files

Read Port from settings, global or user.

If user config exists and has Settings -> Port use that, otherwise
use system wide config, otherwise use defaults.
parent 4dbf27ef
No related branches found
No related tags found
1 merge request!1Rewrite devkit service in python.
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment