From a9c1170b555685148242f68ce38adcc7490be53e Mon Sep 17 00:00:00 2001
From: Sara <sarasdj@stud.ntnu.no>
Date: Thu, 4 Apr 2024 15:00:40 +0200
Subject: [PATCH] update: add back server requests on search
---
app/lib/pages/default_page.dart | 17 ++++++++++++++++-
1 file changed, 16 insertions(+), 1 deletion(-)
diff --git a/app/lib/pages/default_page.dart b/app/lib/pages/default_page.dart
index b87b8029..9ec84cbb 100644
--- a/app/lib/pages/default_page.dart
+++ b/app/lib/pages/default_page.dart
@@ -1,9 +1,13 @@
import 'dart:async';
+import 'package:app/server_requests/fetch_relation.dart';
import 'package:flutter/material.dart';
import '../consts.dart';
+import '../data_classes.dart';
import '../widgets/main_layout.dart';
import '../utils/custom_search_delegate.dart';
+import '../server_requests/fetch_relation.dart';
+import '../server_requests/fetch_markers.dart';
class DefaultPage extends StatefulWidget {
const DefaultPage({Key? key}) : super(key: key);
@@ -77,7 +81,18 @@ class _DefaultPageState extends State<DefaultPage> {
showSearch( // Fetch new relation and measurements on search
context: context,
delegate: CustomSearchDelegate((String result) {
- setState(() {
+ setState(() async {
+ selectedRelation = await fetchRelation();
+ selectedMarkerList = await fetchMeasurements().then((fetchResult) {
+ List<Measurement> measurements = fetchResult.measurements;
+ serverConnection = fetchResult.connected;
+
+ // Return the measurements
+ return measurements;
+ }).catchError((error) {
+ serverConnection = false;
+ throw Exception("Failed to fetch measurements: $error");
+ });
selectedLake = result;
});
}),
--
GitLab