From af63faa6d61d0118131e43f5e62626291e27498c Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 29 Jun 2022 14:53:51 +0200
Subject: [PATCH] add missing require in login.php

---
 planetlab/common/login.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/planetlab/common/login.php b/planetlab/common/login.php
index 312b64b..ee48b25 100644
--- a/planetlab/common/login.php
+++ b/planetlab/common/login.php
@@ -10,6 +10,7 @@
 
 // Get session and API handles
 require_once 'plc_session.php';
+require_once 'plekit-utils.php';
 global $plc, $api;
 
 // Print header
-- 
2.43.0