title: convert date to 08%2F15%2F2013%2014%3A23 in python
body: <p>i'm trying to replace the <code>/</code>,<code>spaces</code> and <code>colon</code> in date with %2F, %20 and %3A </p>
  
  <p>if date is <code>08/15/2013 14:23</code>  then i should first convert it into <code>08%2F15%2F2013%2014%3A23</code>
  So what i did was to use <code>str.replace(old,new)</code> function in python to replace the characters but, i wanted to know if there is any library or  direct method to convert the date into required format.</p>