JS: Rename getAUseSite -> getRouteInstallation

This commit is contained in:
Asger Feldthaus
2021-12-15 16:21:41 +01:00
parent 4d85799fc7
commit 218b746f6f
2 changed files with 2 additions and 2 deletions

View File

@@ -277,7 +277,7 @@ module Routing {
}
/** Gets a place where this route node is installed as a route handler. */
Node getAUseSite() {
Node getRouteInstallation() {
result = getAUseSiteInRouteSetup()
or
not exists(getAUseSiteInRouteSetup()) and