Couldn't resolve host name

[Oliver Lenord]

This what the message window tells me:
[1] 20:32:36 Error
Curl error for URL ​https://libraries.openmodelica.org/index/v1/index.json: Couldn't resolve host name

[2] 20:32:36 Scripting Error
Failed to download package index ​https://libraries.openmodelica.org/index/v1/index.json to file C:/Users/xxx/AppData/Roaming/.openmodelica/libraries/index.json.

[Francesco Casella]

Sounds like a problem with the package manager. I checked the URL which is alive now. Maybe you didn't have a working internet connection.

@sjoelund.se, of course OMEdit should also work when disconnected from the grid, possibly with a warning (like: non news in OMEdit), but not with an error.

[Oliver Lenord]

Now a day and reboots later and it works.

[Francesco Casella]

Sounds good. But I think we should make sure that OpenModelica can also (occasionally) work offline.

[Martin Sjölund]

It will only download the index once. And it only does it if there is a uses-annotation somewhere on a package you don't have installed.

If it doesn't find the index, it will just continue without the package. So it should still work.

Of course, if you do intend to use the package manager, it needs to work. I'm not sure if it works with a proxy server because I haven't used one since the 90s.