From fec2a504a8b9472a92b2aa4e76b3479b7b7547d0 Mon Sep 17 00:00:00 2001
From: xdrm-brackets <doowap31@gmail.com>
Date: Mon, 5 Mar 2018 18:48:30 +0100
Subject: [PATCH] [repo.professor] error management

---
 build/database/repo/professor.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/database/repo/professor.php b/build/database/repo/professor.php
index 4adb6e0..9a1e73b 100644
--- a/build/database/repo/professor.php
+++ b/build/database/repo/professor.php
@@ -24,7 +24,7 @@ class professor extends Repo_i {
 	* @isAdmin<bool>					Whether the professor is an admin
 	* @casLogin<String>					The professor's CAS username
 	*
-	* @return prof_id<int>				The professor's UID (or NULL on error)
+	* @return prof_id<int>				The professor's UID (or -1 on error)
 	*
 	---------------------------------------------------------*/
 	public function create(string $lastName, string $firstName, int $category, $hoursToDo = 0, $initials = "", $isAdmin = false , $casLogin = "" ) : ?int{