From 1efc4a15c8ab913bf8bdb1aef9f3b5720b3b7762 Mon Sep 17 00:00:00 2001
From: alexichi <alexbankai96@gmail.com>
Date: Thu, 5 May 2016 20:28:26 +0200
Subject: add dungeon server side and improve some details like the difference
 between floors

---
 craftmine.php | 1 +
 1 file changed, 1 insertion(+)

(limited to 'craftmine.php')

diff --git a/craftmine.php b/craftmine.php
index 242e1fd..43fdc66 100644
--- a/craftmine.php
+++ b/craftmine.php
@@ -51,6 +51,7 @@ switch($op) {
 	case "buildDungeon" : buildDungeon(); break;
 	case "launchDungeon" : launchDungeon(); break;
 	case "exitDungeon" : exitDungeon(); break;
+	case "sendDungeonProgress" : sendDungeonProgress(); break;
 	case "saveGame": saveGame(); break;
 	case "downSave": downSave(); break;
 	case "listSaves": listSaves(); break;
-- 
cgit v1.2.3-54-g00ecf