Update doc and option/result libraries

2024-07-28 22:02:22 -04:00
parent 42870bf419
commit f5feef177a
19 changed files with 72 additions and 228 deletions
--- a/src/util/refresh.php
+++ b/src/util/refresh.php
@@ -50,9 +50,9 @@ function refresh_all(): void
            $userKey = "$feed->user_id";
            if (!key_exists($userKey, $users)) {
                $users[$userKey] = Find::byId(Table::User, $feed->user_id, User::class)
-                    ->getOrElse(new User(email: 'user-not-found'));
+                    ->getOrDefault(new User(email: 'user-not-found'));
            }
-            if (Result::isError($result)) {
+            if ($result->isError()) {
                printfn('ERR (%s) %s', $users[$userKey]->email, $feed->url);
                printfn('         %s', $result->getError());
            } else {