/// <summary>
 /// Modifies an existing web service resource. The PATCH API call is an
 /// asynchronous operation. To determine whether it has completed successfully,
 /// you must perform a Get operation.
 /// </summary>
 /// <param name='operations'>
 /// The operations group for this extension method.
 /// </param>
 /// <param name='resourceGroupName'>
 /// Name of the resource group in which the web service is located.
 /// </param>
 /// <param name='webServiceName'>
 /// The name of the web service.
 /// </param>
 /// <param name='patchPayload'>
 /// The payload to use to patch the web service.
 /// </param>
 public static WebService BeginPatch(this IWebServicesOperations operations, string resourceGroupName, string webServiceName, WebService patchPayload)
 {
     return(operations.BeginPatchAsync(resourceGroupName, webServiceName, patchPayload).GetAwaiter().GetResult());
 }