setPatchNumber

setPatchNumber(patchUser:   String;
               patchNumber: Integer): Boolean updating;

The setPatchNumber method of the JadePatchControlInterface class sets the patch number specified in the patchNumber parameter for the user specified in the patchUser parameter.

This method returns true if the patch version is set successfully or it returns false if it is not.