scholarsmate opened a new issue, #1127: URL: https://github.com/apache/daffodil-vscode/issues/1127
Port 9000 is the default port for the Ωedit server that powers the Data Editor. The problem is that I have another service that is running on port 9000, so I need to change the port that the Ωedit server runs on. I want to use port 9001 for that. I think the most intuitive place to persist that variable is in a global settings.json that is configurable at the extension level. <img width="910" alt="Screenshot 2024-11-12 at 12 12 35 PM" src="https://github.com/user-attachments/assets/271c1144-631e-49ac-8e05-cb906b18f2df";> <img width="1335" alt="Screenshot 2024-11-12 at 12 13 29 PM" src="https://github.com/user-attachments/assets/a0011a26-28f5-4339-98a9-f33b426dd075";> Clicking on `Edit in settings.json` allows me to change the port, but that setting seems to be *ignored*. It would be good to have that work as it will allow users to configure a different port and use the Data Editor without requiring a .vscode/launch.json in their repository. The workaround for now is to set the port in launch.json like so: ```json "dataEditor": { "port": 9001, "logging": { "file": "${workspaceFolder}/dataEditor-${omegaEditPort}.log", "level": "info" } }, ``` Having it respect the global settings, then allow them to be overridden in a local launch.json would be better. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
