As an alternative, here is a bit of JavaScript for node.js that iterates over a list of user ids and logs them out using the API:
var logoutUsers = function (ids, domain, apiKey, delay) {
var nextIndex = 0;
var errors = 0;
var callNextUrl = function () {
if (nextIndex < ids.length) {
var id = ids[nextIndex];
nextIndex++;
console.log("logging out " + id);
var req = https.request({
hostname: domain,
port: 443,
path: '/admin/users/' + id + '/log_out?api_key=' + apiKey + '&api_username=system',
method: 'POST'
}, function (res) {
console.log("response: " + res.statusCode);
res.resume();
setTimeout(callNextUrl, delay);
}).on('error', function (e) {
console.log("Got error: " + e.message);
errors++;
});
req.end();
} else {
console.log("Done!");
console.log("Errors: " + errors);
}
};
callNextUrl();
};