# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1639258229 18000
# Node ID 1e42c0147a4950961b69c1aa03f5ca395d3934f8
# Parent  e411408d64ec95aebe5b7a5b5971e55b5f3f921d
minutor changed file format for minecraft 1.18

diff -r e411408d64ec -r 1e42c0147a49 python/cluster.py
--- a/python/cluster.py	Sat Dec 11 16:13:04 2021 -0500
+++ b/python/cluster.py	Sat Dec 11 16:30:29 2021 -0500
@@ -50,7 +50,7 @@
     for l in infile:
       found=False
       (_,td,qd)=l.rstrip().split('\t')
-      q=[float(i) for i in qd.split(',')]
+      q=[float(i) for i in qd.split('/')]
       td=float(td)
       if strict and td>orad:
         # Enforce a circular region, not square
diff -r e411408d64ec -r 1e42c0147a49 python/safe.py
--- a/python/safe.py	Sat Dec 11 16:13:04 2021 -0500
+++ b/python/safe.py	Sat Dec 11 16:30:29 2021 -0500
@@ -57,7 +57,7 @@
 
   def readPoints(self,file):
     file.readline()
-    self.points=[[float(i) for i in l.split('\t')[2].split(',')] for l in file]
+    self.points=[[float(i) for i in l.split('\t')[2].split('/')] for l in file]
 
 Block.readHeaders=readHeaders # from util