e832e2 Use string.partition() to simplify the code

Authored and Committed by Pierre-Yves Chibon 8 years ago
    Use string.partition() to simplify the code