sheppy/config
1
0
Fork 0
mirror of https://github.com/FAUSheppy/config synced 2026-01-21 23:57:37 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

delted whoist scripts that will no longer wprk with new cipmap

Browse Source
This commit is contained in:
Sheppy
2017-01-20 03:30:21 +01:00
parent 9210c8d9a5
commit f8b6848039
3 changed files with 0 additions and 680 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
whoist_script/woist.alias
View File

@@ -1,5 +0,0 @@
alias "w"="php /proj/ciptmp/av37umic/scripts/woist.php show"
alias "ww"="php /proj/ciptmp/av37umic/scripts/woist.php all"
alias "wa"="php /proj/ciptmp/av37umic/scripts/woist.php add"
alias "wd"="php /proj/ciptmp/av37umic/scripts/woist.php del"
alias "wl"="php /proj/ciptmp/av37umic/scripts/woist.php list"

197
whoist_script/woist.php
View File

@@ -1,197 +0,0 @@
<?php
// Read config file
if(!file_exists(getenv('HOME') . '/.woistdb')) {
$config = array('known' => array());
} else {
$config = json_decode(file_get_contents(getenv('HOME') . '/.woistdb'), true);
}
if($argc == 1) {
echo 'Syntax: ' . $argv[0] . ' show' . PHP_EOL;
echo 'Syntax: ' . $argv[0] . ' all' . PHP_EOL;
echo 'Syntax: ' . $argv[0] . ' add <login> [nickname]' . PHP_EOL;
echo 'Syntax: ' . $argv[0] . ' del <login>' . PHP_EOL;
echo 'Syntax: ' . $argv[0] . ' list' . PHP_EOL;
exit(-1);
}
$mode = $argv[1];
function write_config($config) {
// Write config file
$fp = fopen(getenv('HOME') . '/.woistdb', 'w+');
if(!flock($fp, LOCK_EX)) {
echo 'Could not get file lock.';
exit(-1);
}
fwrite($fp, json_encode($config));
fclose($fp);
}
// Add new user to database
if($mode == 'add') {
if($argc != 3 && $argc != 4) {
echo 'Invalid number of arguments.';
exit(-1);
}
$login = $argv[2];
$nickname = null;
if($argc == 4) {
$nickname = $argv[3];
}
$config['known'][$login] = $nickname;
write_config($config);
exit(0);
}
// Remove user from database
if($mode == 'del') {
if($argc != 3) {
echo 'Invalid number of arguments.';
exit(-1);
}
$login = $argv[2];
unset($config['known'][$login]);
write_config($config);
exit(0);
}
// Show database
if($mode == 'list') {
if($argc != 2) {
echo 'Invalid number of arguments.';
exit(-1);
}
echo 'Database:' . PHP_EOL;
foreach($config['known'] as $login => $nickname) {
echo '- ' . $login . ': ' . $nickname . PHP_EOL;
}
exit(0);
}
function hostmatch($h, $p) {
if(preg_match('/^' . $p . '$/', $h)) return true;
return false;
}
function getCip($host) {
if(hostmatch($host, 'faui03i')
) return 'FSI-Zimmer';
if(hostmatch($host, 'faui00[a-y]')
|| hostmatch($host, 'faui02[a-y]')
|| hostmatch($host, 'faui0f[a-u]')
) return 'Cip 2';
if(hostmatch($host, 'faui0a[a-q]')
|| hostmatch($host, 'faui0b[a-l]')
) return 'BibCip';
if(hostmatch($host, 'faui0e[a-o]')
|| hostmatch($host, 'faui06[a-q]')
|| hostmatch($host, 'faui05[a-h]')
|| hostmatch($host, 'faui08[a-p]')
) return 'Cip 1';
if(hostmatch($host, 'faui09[a-j]')
|| hostmatch($host, 'faui01[a-r]')
) return 'WinCip';
if(hostmatch($host, 'faui0d[a-u]')
) return 'STFUcip';
if(hostmatch($host, 'faui0c[a-q]')
) return 'CIP4';
if(hostmatch($host, 'faui04[a-s]')
) return 'Huber-Cip';
return 'unknown';
}
function mkspace($num) {
$res = '';
for($i = 0; $i < $num; $i++) {
$res .= ' ';
}
return $res;
}
if($mode == 'show' || $mode == 'all') {
$showall = false;
if($mode == 'all') $showall = true;
$result = array();
$current_hostname = '';
$rows = file('/proj/ciptmp/av37umic/scripts/woist.txt');
if(!$rows) {
echo 'Error reading list.';
exit(-1);
}
foreach($rows as $r) {
if(preg_match('/^(faui0..)\./', $r, $matches)) {
$current_hostname = $matches[1];
continue;
}
if($r) {
preg_match('/^([^ ]+) \(([^,]+).+? (\d+)$/', $r, $matches);
if(!$matches) continue;
$login = $matches[1];
$name = $matches[2];
$idletime = $matches[3];
if(!$showall && !array_key_exists($login, $config['known'])) continue;
if($idletime < 900) {
$prefix = "\t";
$nickname = '';
if(array_key_exists($login, $config['known'])) {
$nickname = $config['known'][$login];
if($showall) {
$prefix = ' * ';
}
}
$result[getCip($current_hostname)][] = $prefix . $login . mkspace(12 - strlen($login)) . $nickname . mkspace(15 - strlen($nickname)) . $name . mkspace(30 - strlen($name)) . ' (' . $current_hostname . ')';
}
}
}
foreach($result as $cip => $a) {
echo $cip . PHP_EOL;
foreach($a as $r) {
echo $r . PHP_EOL;
}
}
exit(0);
}
echo 'Invalid mode!';
exit(-1);

478
whoist_script/woist.txt
View File

@@ -1,478 +0,0 @@
faui01.informatik.uni-erlangen.de (Host was never reached since 18h 40m 17s)
faui0sr0.informatik.uni-erlangen.de (Information on 1 users was last gathered 3s ago)
ircbox.informatik.uni-erlangen.de (Information on 1 users was last gathered 3s ago)
faui0fu.informatik.uni-erlangen.de (Information on 1 users was last gathered 3s ago)
faui0ft.informatik.uni-erlangen.de (Host was never reached since 32m 46s)
faui0fs.informatik.uni-erlangen.de (Host was never reached since 30m 33s)
faui0fr.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0fq.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0fp.informatik.uni-erlangen.de (Host was never reached since 30m 33s)
faui0fo.informatik.uni-erlangen.de (Host was never reached since 30m 33s)
faui0fn.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0fm.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0fl.informatik.uni-erlangen.de (Host was never reached since 30m 33s)
faui0fk.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0fj.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0fi.informatik.uni-erlangen.de (Host was never reached since 30m 33s)
faui0fh.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0fg.informatik.uni-erlangen.de (Host was never reached since 32m 47s)
faui0ff.informatik.uni-erlangen.de (Host was never reached since 30m 33s)
faui0fe.informatik.uni-erlangen.de (Host was never reached since 30m 33s)
faui0fd.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0fc.informatik.uni-erlangen.de (Information on 1 users was last gathered 4s ago)
he29heri (Simon Ruderich, CIP Admin) 18774
faui0fb.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0fa.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0eo.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0en.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0em.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0el.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0ek.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0ej.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0ei.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0eh.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0eg.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0ef.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0ee.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0ed.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0ec.informatik.uni-erlangen.de (Host was never reached since 31m 8s)
faui0eb.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0ea.informatik.uni-erlangen.de (Host was never reached since 32m 47s)
faui0du.informatik.uni-erlangen.de (Host was never reached since 33m 19s)
faui0dt.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0ds.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0dr.informatik.uni-erlangen.de (Information on 1 users was last gathered 5s ago)
us08eziz (Ninad Chandrakant Nerkar, CompEng 2011) 0
faui0dq.informatik.uni-erlangen.de (Host was never reached since 31m 42s)
faui0dp.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0do.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0dn.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0dm.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0dl.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0dk.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0dj.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0di.informatik.uni-erlangen.de (Host was never reached since 32m 47s)
faui0dh.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0dg.informatik.uni-erlangen.de (Host was never reached since 29m 58s)
faui0df.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0de.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0dd.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0dc.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0db.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0da.informatik.uni-erlangen.de (Host was never reached since 30m 34s)
faui0cq.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0cp.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0co.informatik.uni-erlangen.de (Information on 1 users was last gathered 6s ago)
faui0cn.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0cm.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0cl.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0ck.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0cj.informatik.uni-erlangen.de (Host was never reached since 29m 59s)
faui0ci.informatik.uni-erlangen.de (Host was never reached since 27m 26s)
faui0ch.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0cg.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0cf.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ce.informatik.uni-erlangen.de (Host was never reached since 32m 14s)
faui0cd.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0cc.informatik.uni-erlangen.de (Host was never reached since 29m 59s)
faui0cb.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ca.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0bl.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0bk.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0bj.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0bi.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0bh.informatik.uni-erlangen.de (Host was never reached since 10m 18s)
faui0bg.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0bf.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0be.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0bd.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0bc.informatik.uni-erlangen.de (Host was never reached since 30m 0s)
faui0bb.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ba.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0aq.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ap.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ao.informatik.uni-erlangen.de (Host was never reached since 30m 0s)
faui0an.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0am.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0al.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ak.informatik.uni-erlangen.de (Host was never reached since 30m 0s)
faui0aj.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ai.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ah.informatik.uni-erlangen.de (Host was never reached since 30m 0s)
faui0ag.informatik.uni-erlangen.de (Host was never reached since 32m 47s)
faui0af.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ae.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ad.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui0ac.informatik.uni-erlangen.de (Host was never reached since 30m 0s)
faui0ab.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui0aa.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui08p.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui08o.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui08n.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui08m.informatik.uni-erlangen.de (Host was never reached since 31m 42s)
faui08l.informatik.uni-erlangen.de (Information on 1 users was last gathered 8s ago)
oz81evik (Maximilian Eschenbacher, CIP 2011) 736
faui08k.informatik.uni-erlangen.de (Host was never reached since 32m 47s)
faui08j.informatik.uni-erlangen.de (Host was never reached since 32m 15s)
faui08i.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui08h.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui08g.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui08f.informatik.uni-erlangen.de (Host was never reached since 33m 19s)
faui08e.informatik.uni-erlangen.de (Host was never reached since 32m 15s)
faui08d.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui08c.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui08b.informatik.uni-erlangen.de (Host was never reached since 31m 9s)
faui08a.informatik.uni-erlangen.de (Host was never reached since 30m 35s)
faui06q.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06p.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06o.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06n.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06m.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06l.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06k.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06j.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06i.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06h.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06g.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06f.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06e.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06d.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06c.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06b.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui06a.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui05h.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui05g.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui05f.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui05e.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui05d.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui05c.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui05b.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui05a.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04s.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04r.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04q.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04p.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04o.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
ro79moco (Jakob Harlan, CIP 2016) 0
faui04n.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04m.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04l.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04k.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04j.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04i.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04h.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04g.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04f.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04e.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04d.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04c.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04b.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui04a.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03h.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03g.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03f.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03e.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
vu20wyli (Julian Brost, CIP Admin) 0
faui03d.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03c.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
sirrwebe (Rolf Weber, CIP Admin) 103967
faui03b.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
of82ecuq (Johannes Schilling, CIP Admin) 9218
faui03a.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03k.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03j.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03i.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
ax20yhum (Jonny Schaefer, CIP 2014) 0
faui03p.informatik.uni-erlangen.de (Host was never reached since 18h 40m 24s)
faui03o.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
ax20yhum (Jonny Schaefer, CIP 2014) 0
faui03n.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03m.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
faui03l.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
ik15ydit (Yannik Schmidt, CIP 2013) 0
faui02y.informatik.uni-erlangen.de (Host was never reached since 30m 36s)
faui02x.informatik.uni-erlangen.de (Host was never reached since 30m 36s)
faui02w.informatik.uni-erlangen.de (Host was never reached since 30m 36s)
faui02v.informatik.uni-erlangen.de (Host was never reached since 32m 15s)
faui02u.informatik.uni-erlangen.de (Host was never reached since 30m 36s)
faui02t.informatik.uni-erlangen.de (Host was never reached since 30m 1s)
faui02s.informatik.uni-erlangen.de (Information on 1 users was last gathered 9s ago)
yf63elyf (Anatoliy Cherepantsev, CIP 2015) 9224
faui02r.informatik.uni-erlangen.de (Host was never reached since 32m 15s)
faui02q.informatik.uni-erlangen.de (Host was never reached since 30m 36s)
faui02p.informatik.uni-erlangen.de (Host was never reached since 31m 10s)
faui02o.informatik.uni-erlangen.de (Host was never reached since 9h 13m 9s)
faui02n.informatik.uni-erlangen.de (Host was never reached since 31m 10s)
faui02m.informatik.uni-erlangen.de (Host was never reached since 30m 36s)
faui02l.informatik.uni-erlangen.de (Host was never reached since 30m 36s)
faui02k.informatik.uni-erlangen.de (Host was never reached since 31m 10s)
faui02j.informatik.uni-erlangen.de (Host was never reached since 31m 43s)
faui02i.informatik.uni-erlangen.de (Host was never reached since 30m 37s)
faui02h.informatik.uni-erlangen.de (Host was never reached since 31m 10s)
faui02g.informatik.uni-erlangen.de (Host was never reached since 30m 2s)
faui02f.informatik.uni-erlangen.de (Host was never reached since 32m 48s)
faui02e.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
he79cyly (Marco Klapper, CIP 2012) 19005
faui02d.informatik.uni-erlangen.de (Host was never reached since 30m 37s)
faui02c.informatik.uni-erlangen.de (Host was never reached since 31m 10s)
faui02b.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
ij95ugeh (Adarsh Bhandary Panambur, MedTech 2016) 0
faui02a.informatik.uni-erlangen.de (Host was never reached since 31m 10s)
faui00y.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00x.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00w.informatik.uni-erlangen.de (Host was never reached since 18h 40m 25s)
faui00v.informatik.uni-erlangen.de (Host was never reached since 18h 40m 25s)
faui00u.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00t.informatik.uni-erlangen.de (Host was never reached since 18h 40m 25s)
faui00s.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
ys66efot (Tom Kunze, CIP 2014) 0
faui00r.informatik.uni-erlangen.de (Host was never reached since 18h 40m 25s)
faui00q.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
in19ezej (Lisa Marie Dreier, CIP 2014) 0
faui00p.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00o.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00n.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00m.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00l.informatik.uni-erlangen.de (Host was never reached since 18h 40m 25s)
faui00k.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00j.informatik.uni-erlangen.de (Host was never reached since 18h 40m 25s)
faui00i.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00h.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00g.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00f.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00e.informatik.uni-erlangen.de (Host was never reached since 18h 40m 25s)
faui00d.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00c.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00b.informatik.uni-erlangen.de (Information on 1 users was last gathered 10s ago)
faui00a.informatik.uni-erlangen.de (Host was never reached since 6h 57m 52s)