How do I remount the data folder?

It may happen, that the folder /home/micros/data, where the data files are mounted from the server computer is corrupted. If the server is not running, you first need to reboot it (see 6.10.2). If the data folder is still corrupted, you will have to remount^6.1 it. Do:

  % umount -l /mnt/data
  % mount /mnt/data