[Server-devel] how to turn off OLPC autologin authentication?

[Joshua N Pritikin]

Our site is one of the crazy OLPC sites that lacks sufficient funds to 
supply one laptop to every child. We are using the infamous "computer 
lab" model. Hence, I want to turn off the wonderful OLPC autologin 
authentication method and use the tedious manual method.

Is this the correct way to do it?

diff --git a/config.php b/config.php
index bf071ec..2367146 100644
--- a/config.php
+++ b/config.php
@@ -50,7 +50,7 @@ $CFG->guestloginbutton=0;
 // Don't allow registrations
 $CFG->registerauth='';
 // OLPCXS
-$CFG->auth='olpcxs';
+$CFG->auth='manual';
 $CFG->olpcxsdb='/home/idmgr/identity.db';
 
 // Frontpage

This seems to have the intended effect in Administration / Users / 
Authentication / Manage authentication.