From 01a086c3ddfb666314538fa9a0f392f1b5dc4df5 Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Sun, 22 Sep 2002 03:11:05 +0000
Subject: [PATCH] Support for new deleted field in user table

---
 lib/db/mysql.sql  | 1 +
 lib/moodlelib.php | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/db/mysql.sql b/lib/db/mysql.sql
index a484ef5522..6c4508853c 100644
--- a/lib/db/mysql.sql
+++ b/lib/db/mysql.sql
@@ -147,6 +147,7 @@ CREATE TABLE `modules` (
 CREATE TABLE `user` (
   `id` int(10) unsigned NOT NULL auto_increment,
   `confirmed` tinyint(1) NOT NULL default '0',
+  `deleted` tinyint(1) NOT NULL default '0',
   `username` varchar(100) NOT NULL default '',
   `password` varchar(32) NOT NULL default '',
   `idnumber` varchar(12) default NULL,
diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index f7a580dcaa..6ec31a2251 100644
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -903,7 +903,7 @@ function get_user_info_from_db($field, $value) {
     if (!$field || !$value) 
         return false;
 
-    $result = $db->Execute("SELECT * FROM user WHERE $field = '$value' AND deleted = '0'");
+    $result = $db->Execute("SELECT * FROM user WHERE $field = '$value' AND deleted <> '1'");
 
     if ( $result->RecordCount() == 1 ) {
         $user = (object)$result->fields;
-- 
2.39.5