Problem with URIs

[rappatoni]

In the theory graph viewer there seems to be a problem with the URIs assigned to nodes and linking to the theories corresponding to nodes via the "Open Theories" button.

I have found two kinds of URIs assigned to nodes:

Type A: /URI (e.g. /http://cds.omdoc.org/urtheories?TermsTypesKinds).
Type B: //?URI (e.g. //?http://cds.omdoc.org/urtheories?LF)

When using the "Open Theory" button from the context menu on Type A nodes a new tab will be opened but the result is a server error as the resulting URI is incorrect (e.g. http://localhost:8080/http://cds.omdoc.org/urtheories?TermsTypesKinds when the correct URI should be http://localhost:8080/?http://cds.omdoc.org/urtheories?TermsTypesKinds)

When using the "Open Theory" button on Type B nodes nothing happens at all.