Minecraft Pocket Realms 0.7.2 Walkthrough – Online Server Setup, Naming, Loading Problems Leave a comment We follow up our introduction to Minecraft with this close look at Minecraft Pocket edition’s Realms server.