From 2e4ef8e72c5e662cc9fe536ff019ab4d5802db84 Mon Sep 17 00:00:00 2001
From: Brian Hetro <whee@smaertness.net>
Date: Fri, 2 Jun 2023 22:57:04 -0400
Subject: [PATCH] Clippy Lints page - Fix path watch triggering

---
 util/gh-pages/script.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
index bd4293662a0a..b961b7d2d968 100644
--- a/util/gh-pages/script.js
+++ b/util/gh-pages/script.js
@@ -270,7 +270,7 @@
             }, true);
 
             // Watch for changes in the URL path and update the search and lint display
-            $scope.$watch($location.path, function (newPath) {
+            $scope.$watch(function () { return $location.path(); }, function (newPath) {
                 const searchParameter = newPath.substring(1);
                 if ($scope.search !== searchParameter) {
                     $scope.search = searchParameter;
@@ -292,12 +292,12 @@
                 }
             });
 
-            $scope.$watch($location.search, function (newParameters) {
+            $scope.$watch(function () { return $location.search(); }, function (newParameters) {
                 if (!internalURLChange) {
                     loadFromURLParameters();
                 }
                 internalURLChange = false;
-            });
+            }, true);
 
             $scope.updatePath = function () {
                 if (debounceTimeout) {