Fix type mismatches in save file rotation
authorJeremy Stanley <fungi@yuggoth.org>
Mon, 29 Dec 2014 20:21:49 +0000 (20:21 +0000)
committerJeremy Stanley <fungi@yuggoth.org>
Mon, 29 Dec 2014 20:21:49 +0000 (20:21 +0000)
commita4a7fabfdfe68676346e9f9d44daf1c91b23ab96
tree838d13f6eb0bb5c7bb12e2896138e20f23d990b5
parentba8cd96bbb761a4843a22e1bb9d781187e57e22d
Fix type mismatches in save file rotation

The numeric suffix on rotated save files needs to be treated as an
int during rotation calculations but as a str during filename
generation. Make it so.
lib/mudpy/data.py