Python urllib downloads files from a remote server to the local

#!/usr/bin/env python
--coding:utf-8--'
Filename:download_file.py
import sys,os
import urllib
def urlcallback(a,b,c):
"""
call back function
a, Downloaded data block
b, Block size
c, The size of the remote file
"""
print "callback"
prec=100.0ab/c
if 100 < prec:
prec=100
print "%.2f%%"%(prec,)
def main(argv):
"""
main
"""
print "start..."
urllib.urlretrieve("<a href="http://jaist.dl.sourceforge.net/project/pydev/pydev/Pydev%201.6.3/org.python.pydev.feature-1.6.3.2010100513.zip">http://jaist.dl.sourceforge.net/project/pydev/pydev/Pydev%201.6.3/org.python.pydev.feature-1.6.3.2010100513.zip"\\
,"/tmp/python.pydev.zip"\
,urlcallback)
print "end..."
if name=="main":
main(sys.argv[1:])</pre>