is there any lib can split string in this way?

[Leo Jay]

I want to split a string like this:
'abc  def  "this is a test"  ok'
into:
['abc', 'def', 'this is a test', 'ok']

is there any lib meet my need?

thanks

--
Best Regards,
Leo Jay
-- 
http://mail.python.org/mailman/listinfo/python-list