Question about Jpegs

[Michael Morrison]

This may not be the appropriate place for this question, but it's for a
Python program and I know there are a lot of experienced programmers here,
so....

Does anyone know how to "resize" a .jpg or similar file?  My script is
dealing with uploaded pictures, and I want it to automatically create a
thumbnail for said pictures.  Does python by chance have a module that can
do this?

Thanks for any input