title: Python: Convert local time to another time zone
body: <p>I want to convert the current time to +0900 in Python.</p>
  
  <p>What's the appropriate way to do this (assuming in the time module)?</p>
  
  <p>I've read this isn't included with Python and you have to use something like pytz.</p>
  
  <p>I don't want to change it on a server basis or globally, just in this one instance.</p>