tripit_list_trips.php: Fix ||

jpatokal · Jul 9, 2023 · b990fd0 · b990fd0
1 parent 8289e1c
commit b990fd0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/php/tripit_list_trips.php b/php/tripit_list_trips.php
@@ -39,7 +39,7 @@
     'past' => $wants_future_trips ? 'false' : 'true',
     'page_num' => $tripit_page_number,
 ));
-if (!isset($trips) | |!isset($trips->Trip)) {
+if (!isset($trips) || !isset($trips->Trip)) {
     handle_tripit_response($tripit->response);
     error_log("TripIt error for user $uid: " . $tripit->response);
     die(_("Could not connect to TripIt. Please try again later. If you are seeing this repeatedly, you can try to <a href='/php/tripit_unlink.php'>relink your account</a>."));