複数のスペースを含む文字列の分割

例えば、次のような文字列を半角スペースで分割すると、複数の半角スペースが途中にある場合、空文字列が要素に含まれてしまう。

test1.py

time = "Dec  3 14:25:33"
words = time.split(" ")
print words #['Dec', '', '3', '14:25:33']

正規表現モジュールを用いることで解決。

test2.py

import re

time = "Dec  3 14:25:33"
words = re.split(" +", time)
print words #['Dec', '3', '14:25:33']

追記

コメントでご指摘をいただきましたが、splitの引数を省略すると、スペース・タブ・改行といった区切り文字で、空文字列が入ることなく分割できるようです。