Index: openacs-4/packages/proctoring-support/proctoring-support.info
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/proctoring-support/Attic/proctoring-support.info,v
diff -u -N -r1.1.2.6 -r1.1.2.7
--- openacs-4/packages/proctoring-support/proctoring-support.info	19 Aug 2020 16:35:40 -0000	1.1.2.6
+++ openacs-4/packages/proctoring-support/proctoring-support.info	21 Aug 2020 15:18:34 -0000	1.1.2.7
@@ -10,7 +10,7 @@
     <inherit-templates-p>f</inherit-templates-p>
     <auto-mount>proctoring</auto-mount>
 
-    <version name="1.0.5" url="http://openacs.org/repository/download/apm/proctoring-support-1.0.5.apm">
+    <version name="1.1.0" url="http://openacs.org/repository/download/apm/proctoring-support-1.1.0.apm">
         <owner url="mailto:apisano@wu.ac.at">Antonio Pisano</owner>
         <summary>Set of tools to implement proctoring of user interaction</summary>
         <vendor url="https://www.wu.ac.at/">Wirtschaftsuniversität Wien</vendor>
@@ -21,7 +21,7 @@
 No real UI is provided by the package itself. Other packages must integrate the provided includes.</description>
         <maturity>0</maturity>
 
-        <provides url="proctoring-support" version="1.0.5"/>
+        <provides url="proctoring-support" version="1.1.0"/>
         <requires url="xotcl-core" version="5.10.0d34"/>
 
         <callbacks>
Index: openacs-4/packages/proctoring-support/catalog/proctoring-support.de_DE.ISO-8859-1.xml
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/proctoring-support/catalog/Attic/proctoring-support.de_DE.ISO-8859-1.xml,v
diff -u -N -r1.1.2.4 -r1.1.2.5
--- openacs-4/packages/proctoring-support/catalog/proctoring-support.de_DE.ISO-8859-1.xml	18 Aug 2020 12:46:10 -0000	1.1.2.4
+++ openacs-4/packages/proctoring-support/catalog/proctoring-support.de_DE.ISO-8859-1.xml	21 Aug 2020 15:18:34 -0000	1.1.2.5
@@ -198,7 +198,7 @@
   <msg key="microphone_not_readable">Ihr Mikrofon kann nicht verwendet werden, da es keine Berechtigung dazu hat. M�gliche Ursachen sind:&lt;ul&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist in Google Chrome blockiert&lt;/b&gt;: Gehen Sie in Google Chrome auf\&#34;Einstellungen\&#34; | \&#34;Datenschutz und Sicherheit\&#34; | \&#34;Website-Einstellungen\&#34; |\&#34;Berechtigungen\&#34; | \&#34;Mikrofon\&#34;. Wenn der Schieberegler auf \&#34;Blockiert\&#34; steht, dann setzen Sie ihn auf \&#34;Vor dem Zugriff nachfragen (empfohlen)\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist in Google Chrome f�r %system_name% blockiert&lt;/b&gt;: Gehen Sie in Google Chrome auf:\&#34;Einstellungen\&#34; | \&#34;Datenschutz und Sicherheit\&#34; | \&#34;Website-Einstellungen\&#34; |\&#34;Berechtigungen\&#34; | \&#34;Mikrofon\&#34;. Pr�fen Sie, ob unter \&#34;Blockieren\&#34; Links zu WU-Webseiten angef�hrt sind. L�schen Sie diese Webseiten aus der Liste �ber einen Klick auf das M�lltonnensymbol.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist f�r Google Chrome blockiert (MacOS)&lt;/b&gt;: Gehen Sie unter\&#34;Systemeinstellungen\&#34; auf \&#34;Sicherheit\&#34; | \&#34;Datenschutz\&#34; und dann in der Seitenleiste auf\&#34;Mikrofon\&#34;. Aktivieren Sie das Markierungsfeld neben Google Chrome. Starten Sie Google Chrome neu.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist in den Systemeinstellungen f�r Apps und Desktop-Apps blockiert (Windows)&lt;/b&gt;: �ffnen Sie die Systemeinstellungen Ihres Computers und gehen Sie zu \&#34;Apps\&#34;und \&#34;Desktop-Apps\&#34;. Pr�fen Sie, ob Apps und Desktop-Apps auf Ihr Mikrofon zugreifen d�rfen. Wenn nicht, dann setzen Sie den Schieberegler dort jeweils auf \&#34;Ein\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist in den Systemeinstellungen blockiert (Windows)&lt;/b&gt;: �ffnen Sie die Systemeinstellungen Ihres Computers und gehen Sie zu \&#34;Mikrofon\&#34;. Pr�fen Sie, ob der Mikrofonzugriff f�r dieses Ger�t aktiviert ist. Wenn nicht, dann gehen Sie auf \&#34;�ndern\&#34;, um den Mikrofonzugriff allgemein zu aktivieren.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon wurde ausgeschaltet um Strom zu sparen (Windows)&lt;/b&gt;: Verbinden Sie Ihren Computer mit einer Stromquelle. �ffnen Sie die Systemeinstellungen Ihres Computers und gehen Sie zu \&#34;Mikrofon\&#34;. Pr�fen Sie, ob der Mikrofonzugriff f�r dieses Ger�t noch aktiviert ist. Wenn nicht, dann gehen Sie auf \&#34;�ndern\&#34;, um den Mikrofonzugriff wieder zu aktivieren.&lt;/li&gt;&lt;ul&gt;</msg>
   <msg key="microphone_permission_denied">Ihr Mikrofon kann nicht verwendet werden, da es keine Berechtigung dazu hat. M�gliche Ursachen sind:&lt;ul&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist in Google Chrome blockiert&lt;/b&gt;: Gehen Sie in Google Chrome auf\&#34;Einstellungen\&#34; | \&#34;Datenschutz und Sicherheit\&#34; | \&#34;Website-Einstellungen\&#34; |\&#34;Berechtigungen\&#34; | \&#34;Mikrofon\&#34;. Wenn der Schieberegler auf \&#34;Blockiert\&#34; steht, dann setzen Sie ihn auf \&#34;Vor dem Zugriff nachfragen (empfohlen)\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist in Google Chrome f�r %system_name% blockiert&lt;/b&gt;: Gehen Sie in Google Chrome auf: \&#34;Einstellungen\&#34; | \&#34;Datenschutz und Sicherheit\&#34; | \&#34;Website-Einstellungen\&#34; |\&#34;Berechtigungen\&#34; | \&#34;Mikrofon\&#34;. Pr�fen Sie, ob unter \&#34;Blockieren\&#34; Links zu WU-Webseiten angef�hrt sind. L�schen Sie diese Webseiten aus der Liste �ber einen Klick auf das M�lltonnensymbol.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist f�r Google Chrome blockiert (MacOS)&lt;/b&gt;: Gehen Sie unter\&#34;Systemeinstellungen\&#34; auf \&#34;Sicherheit\&#34; | \&#34;Datenschutz\&#34; und dann in der Seitenleiste auf \&#34;Mikrofon\&#34;. Aktivieren Sie das Markierungsfeld neben Google Chrome. Starten Sie Google Chrome neu.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist in den Systemeinstellungen f�r Apps und Desktop-Apps blockiert (Windows)&lt;/b&gt;: �ffnen Sie die Systemeinstellungen Ihres Computers und gehen Sie zu \&#34;Apps\&#34; und \&#34;Desktop-Apps\&#34;. Pr�fen Sie, ob Apps und Desktop-Apps auf Ihr Mikrofon zugreifen d�rfen. Wenn nicht, dann setzen Sie den Schieberegler dort jeweils auf \&#34;Ein\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist in den Systemeinstellungen blockiert (Windows)&lt;/b&gt;: �ffnen Sie die Systemeinstellungen Ihres Computers und gehen Sie zu \&#34;Mikrofon\&#34;. Pr�fen Sie, ob der Mikrofonzugriff f�r dieses Ger�t aktiviert ist. Wenn nicht, dann gehen Sie auf \&#34;�ndern\&#34;, um den Mikrofonzugriff allgemein zu aktivieren.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon wurde ausgeschaltet um Strom zu sparen (Windows)&lt;/b&gt;: Verbinden Sie Ihren Computer mit einer Stromquelle. �ffnen Sie die Systemeinstellungen Ihres Computers und gehen Sie zu \&#34;Mikrofon\&#34;. Pr�fen Sie, ob der Mikrofonzugriff f�r dieses Ger�t noch aktiviert ist. Wenn nicht, dann gehen Sie auf \&#34;�ndern\&#34;, um den Mikrofonzugriff wieder zu aktivieren.&lt;/li&gt;&lt;ul&gt;</msg>
   <msg key="microphone_volume_is_too_low">Die Tonaufnahme des Mikrofons ist unzureichend. M�gliche Ursachen sind:&lt;ul&gt;&lt;li&gt;&lt;b&gt;Die Lautst�rke des Mikrofons ist zu leise eingestellt&lt;/b&gt;: Schalten Sie die Eingangslautst�rke lauter. (Windows) �ffnen Sie die Systemsteuerung Ihres Computers und gehen Sie zu\&#34;Sound\&#34; | \&#34;Eingabe\&#34; | \&#34;Ger�teeigenschaften\&#34;. Passen Sie hier die Lautst�rke an. (MacOS)Klicken Sie auf \&#34;Systemeinstellungen\&#34; | \&#34;Ton\&#34; und �ffnen Sie den Reiter \&#34;Eingabe\&#34;. Passen Sie bei Ihrem Mikrofon die Eingangslautst�rke an.&lt;/li&gt;&lt;li&gt;&lt;b&gt;Das Mikrofon ist stummgeschaltet&lt;/b&gt;: Heben Sie die Stummschaltung auf. Kontrollieren Sie die entsprechenden Tastaturbefehle und alle hardwareseitigen Einstellungen wie z.B. die Stummschaltung direkt in den Soundeinstellungen oder am Mikrofon/Headset selbst.&lt;/li&gt;&lt;/ul&gt;</msg>
-  <msg key="missing_stream_message">Die Online-Aufsicht wurde beendet, ist f�r diesen Kurs aber noch aktiviert. Bitte schlie�en Sie Google Chrome um die Pr�fungsumgebung ganz zu verlassen oder starten Sie die automatisierte Online-Aufsicht wieder mit einem Klick auf  \&#34;OK\&#34;, um die Pr�fungsumgebung erneut zu betreten.</msg>
+  <msg key="missing_stream_message">Die Online-Aufsicht wurde beendet, ist f�r diese Pr�fung aber noch aktiviert. Bitte schlie�en Sie Google Chrome, um die Pr�fungsumgebung ganz zu verlassen, oder starten Sie die automatisierte Online-Aufsicht wieder mit einem Klick auf \&#34;OK\&#34;. Damit betreten Sie die Pr�fungsumgebung erneut.</msg>
   <msg key="mobile_devices_are_unsupported">Mobile Ger�te werden nicht unterst�tzt.</msg>
   <msg key="OnlineExam">Online-Pr�fung</msg>
   <msg key="preview_help_text">Falls aktiviert, wird den Benutzern w�hrend der Online-Aufsichtssitzung eine Vorschau der aufgezeichneten Eingaben angezeigt.</msg>
Index: openacs-4/packages/proctoring-support/catalog/proctoring-support.en_US.ISO-8859-1.xml
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/proctoring-support/catalog/Attic/proctoring-support.en_US.ISO-8859-1.xml,v
diff -u -N -r1.1.2.6 -r1.1.2.7
--- openacs-4/packages/proctoring-support/catalog/proctoring-support.en_US.ISO-8859-1.xml	19 Aug 2020 16:35:40 -0000	1.1.2.6
+++ openacs-4/packages/proctoring-support/catalog/proctoring-support.en_US.ISO-8859-1.xml	21 Aug 2020 15:18:34 -0000	1.1.2.7
@@ -197,7 +197,7 @@
   <msg key="microphone_not_readable">Your microphone cannot be recorded because it has no permission to do so. Possible causes are:&lt;ul&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34; | \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34;. If the slider is on \&#34;Blocked\&#34;, then set it to \&#34;Ask before accessing (recommended)\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked for %system_name% in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34;| \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34;. Check whether there are links to WU websites under \&#34;Block\&#34;. Delete these websites from the list by clicking on the garbage can symbol.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked for Google Chrome (MacOS)&lt;/b&gt;: Go to \&#34;System Preferences\&#34; and\&#34;Security\&#34; | \&#34;Privacy\&#34; and then on \&#34;Microphone\&#34; in the sidebar. Activate the checkbox next to Google Chrome. Restart Google Chrome.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in the system settings for apps and desktop apps (Windows)&lt;/b&gt;:Open the system settings of your computer and go to \&#34;Apps\&#34; and \&#34;Desktop apps\&#34;. Check that apps and desktop apps can access your microphone. If not, then set the slider there to \&#34;On\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in the system settings (Windows)&lt;/b&gt;: Open the system settings of your computer and go to \&#34;Microphone\&#34;. Check that microphone access is enabled for this device. If not, go to \&#34;Change\&#34; to activate microphone access.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone has been switched off to save power (Windows)&lt;/b&gt;: Connect your computer to a power source. Open the system settings of your computer and go to \&#34;Microphone\&#34;. Check that microphone access is still enabled for this device. If not, go to \&#34;Change\&#34; to reactivate microphone access.&lt;/li&gt;&lt;/ul&gt;</msg>
   <msg key="microphone_permission_denied">Your microphone cannot be recorded because it has no permission to do so. Possible causes are:&lt;ul&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34; | \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34;. If the slider is on \&#34;Blocked\&#34;, then set it to \&#34;Ask before accessing (recommended)\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked for %system_name% in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34;| \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34;. Check whether there are links to WU websites under \&#34;Block\&#34;. Delete these websites from the list by clicking on the garbage can symbol.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked for Google Chrome (MacOS)&lt;/b&gt;: Go to \&#34;System Preferences\&#34; and\&#34;Security\&#34; | \&#34;Privacy\&#34; and then on \&#34;Microphone\&#34; in the sidebar. Activate the checkbox next to Google Chrome. Restart Google Chrome.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in the system settings for apps and desktop apps (Windows)&lt;/b&gt;:Open the system settings of your computer and go to \&#34;Apps\&#34; and \&#34;Desktop apps\&#34;. Check that apps and desktop apps can access your microphone. If not, then set the slider there to \&#34;On\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in the system settings (Windows)&lt;/b&gt;: Open the system settings of your computer and go to \&#34;Microphone\&#34;. Check that microphone access is enabled for this device. If not, go to \&#34;Change\&#34; to activate microphone access.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone has been switched off to save power (Windows)&lt;/b&gt;: Connect your computer to a power source. Open the system settings of your computer and go to \&#34;Microphone\&#34;. Check that microphone access is still enabled for this device. If not, go to \&#34;Change\&#34; to reactivate microphone access.&lt;/li&gt;&lt;/ul&gt;</msg>
   <msg key="microphone_volume_is_too_low">The microphone&#39;s sound recording is insufficient. Possible causes are:&lt;ul&gt;&lt;li&gt;&lt;b&gt;The volume of the microphone is set too low&lt;/b&gt;: Turn up the input volume. (Windows) Openyour computer&#39;s control panel and go to \&#34;Sound\&#34; | \&#34;Input\&#34; | \&#34;Device properties\&#34;. Adjust the volume here. (MacOS) Click on \&#34;System Preferences\&#34; | \&#34;Sound\&#34; and open the \&#34;Input\&#34; tab.Adjust the input volume on your microphone.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is muted&lt;/b&gt;: Unmute it. Check the corresponding keyboard commands and all hardware settings such as the mute function directly in the sound settings or on the microphone / headset itself.&lt;/li&gt;&lt;/ul&gt;</msg>
-  <msg key="missing_stream_message">Online-supervision has ended but is still activated for this course. Please close Google Chrome to completely exit the exam environment or restart the automated online supervision by clicking \&#34;OK\&#34; to re-enter the exam environment.</msg>
+  <msg key="missing_stream_message">Online Supervision has ended. However, it is still activated for this exam. Please close Google Chrome to completely exit the exam environment. Alternatively, you can restart the automated online supervision: By clicking \&#34;OK\&#34;, you are re-entering the exam environment.</msg>
   <msg key="mobile_devices_are_unsupported">Mobile devices are unsupported.</msg>
   <msg key="OnlineExam">Online Exam</msg>
   <msg key="preview_help_text">If enabled, a preview of recorded input will be displayed to users during the online supervision session.</msg>