From 4151ae536493c8b785279fa70f5f4d7cdabcdcc2 Mon Sep 17 00:00:00 2001
From: alex <karpen_ko@hotmail.com>
Date: Tue, 30 Apr 2019 14:00:01 +0200
Subject: [PATCH 1/3] education/Lehreinheit_model: - prestudent_id also
 retrieved when getting students of a Lehreinheit

---
 application/models/education/Lehreinheit_model.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/application/models/education/Lehreinheit_model.php b/application/models/education/Lehreinheit_model.php
index 7dba40153..22778cb6a 100644
--- a/application/models/education/Lehreinheit_model.php
+++ b/application/models/education/Lehreinheit_model.php
@@ -103,14 +103,13 @@ class Lehreinheit_model extends DB_Model
 	 */
 	public function getStudenten($lehreinheit_id)
 	{
-		$query = 'SELECT uid, vorname, nachname '
+		$query = 'SELECT uid, vorname, nachname, prestudent_id '
 			. 'FROM campus.vw_student_lehrveranstaltung '
 			. 'JOIN campus.vw_student '
 			. 'USING (uid) '
 			. 'WHERE lehreinheit_id = ?'
 			. ' ORDER BY nachname';
 
-
 		return $this->execQuery($query, array($lehreinheit_id));
 	}
 }

From bbe62cb9978b03c24d3e74c3c93484689e7fc416 Mon Sep 17 00:00:00 2001
From: Paolo <bison@technikum-wien.at>
Date: Tue, 30 Apr 2019 14:16:54 +0200
Subject: [PATCH 2/3] Added new controller system/extensions/CLI_Manager to
 manage extensions from command line

---
 .../system/extensions/CLI_Manager.php         | 30 +++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 application/controllers/system/extensions/CLI_Manager.php

diff --git a/application/controllers/system/extensions/CLI_Manager.php b/application/controllers/system/extensions/CLI_Manager.php
new file mode 100644
index 000000000..36ca38030
--- /dev/null
+++ b/application/controllers/system/extensions/CLI_Manager.php
@@ -0,0 +1,30 @@
+<?php
+
+if (!defined('BASEPATH')) exit('No direct script access allowed');
+
+/**
+ *
+ */
+class CLI_Manager extends CLI_Controller
+{
+	/**
+	 *
+	 */
+	public function __construct()
+    {
+        parent::__construct();
+	}
+
+	/**
+	 * Installiert eine Extension.
+	 * Es wird davon ausgegangen, dass die Extension ueber einen Fileupload hochgeladen wird.
+	 * alternativ kann hier auch der Name und Filename uebergeben werden um die installation ueber
+	 * die Commandline ohne Upload durchzufuehren.
+	 * @param $extensioName string Name der Extension
+	 * @param $filename Url Encoded Pfad zum tgz File der Extension
+	 */
+	public function uploadExtension($extensionName = null, $filename = null)
+	{
+		$this->extensionslib->installExtension($extensionName, urldecode($filename));
+	}
+}

From 8cb87556c641f785803d552e215c38156a6ab4ef Mon Sep 17 00:00:00 2001
From: Paolo <bison@technikum-wien.at>
Date: Tue, 30 Apr 2019 14:19:48 +0200
Subject: [PATCH 3/3] CLI_Manager now loads form helper and ExtensionsLib

---
 application/controllers/system/extensions/CLI_Manager.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/application/controllers/system/extensions/CLI_Manager.php b/application/controllers/system/extensions/CLI_Manager.php
index 36ca38030..ed8a5f7a5 100644
--- a/application/controllers/system/extensions/CLI_Manager.php
+++ b/application/controllers/system/extensions/CLI_Manager.php
@@ -13,6 +13,12 @@ class CLI_Manager extends CLI_Controller
 	public function __construct()
     {
         parent::__construct();
+
+		// Load helpers to upload files
+		$this->load->helper('form');
+
+		// Loads the extensions library
+		$this->load->library('ExtensionsLib');
 	}
 
 	/**