attrstr=attrstr.strip()
key,tail=attrstr.split('=',1)
- tail=tail[1:]
- value,attrstr=tail.split('"',1)
+ if tail[0]=='\"':
+ tail=tail[1:]
+ value,attrstr=tail.split('"',1)
+ else:
+ try:
+ value,attrstr=tail.split(' ',1)
+ except ValueError:
+ value=tail
+ attrstr=''
attrstr=attrstr.strip()
attrs[key]=value