ports/math/py-gato/files/patch-GatoUtil.py
2001-09-03 10:45:18 +00:00

13 lines
429 B
Python

--- GatoUtil.py.orig Wed May 16 13:16:56 2001
+++ GatoUtil.py Mon Sep 3 12:14:42 2001
@@ -40,8 +40,8 @@
def extension(pathAndFile):
""" Return ext if path/filename.ext is given """
- import regsub
- return regsub.split(stripPath(pathAndFile),"\.")[1]
+ import re
+ return re.split("\.", stripPath(pathAndFile))[1]
def stripPath(pathAndFile):
""" Return filename.ext if path/filename.ext is given """