search($search); $_SESSION["search_results"] = $results; $_SESSION["search_query"] = $search; $_SESSION["message"] = "new_search_results"; } catch (Exception $e){ $_SESSION["message"] = "internal_error"; } } header("location: ../../index.php?pfad=search-results"); exit(); } ?>