Solved: R studio server down

Message-Id: 201808171336
Time: 17.08.2018  – 21.08.2018
Affected: all GWDG users

The problem at the r studio server (rstudio.gwdg.de) is now fixed.