Fixed a bug in the spin.rename() user function.
The spin ID string was been checked if it was an int whereas the check should have been for a string.
Authored by: bugman 2007-11-18
Parent: [r3578]
Child: [r3580]