From 094da269f75e64d08b34a608c5243aa93d3b2375 Mon Sep 17 00:00:00 2001
From: "Silas S. Brown" <ssb22@cam.ac.uk>
Date: Sun, 23 Feb 2020 00:43:21 +0000
Subject: [PATCH] Update src/play.py

---
 gradint-build/src/play.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gradint-build/src/play.py b/gradint-build/src/play.py
index b2706af..9db803b 100644
--- a/gradint-build/src/play.py
+++ b/gradint-build/src/play.py
@@ -115,6 +115,7 @@ def digitPrefix(v): # in case we don't have regexp library
     l = []
     for d in list(v):
         if '0' <= d <= '9': l.append(d)
+        else: break
     return intor0(''.join(l))
 
 sox_effect=""
-- 
GitLab