|
|
|
@ -785,8 +785,15 @@ namespace WebSocketSharp.Net
|
|
|
|
/// <exception cref="ArgumentException">
|
|
|
|
/// <exception cref="ArgumentException">
|
|
|
|
/// <paramref name="url"/> is empty.
|
|
|
|
/// <paramref name="url"/> is empty.
|
|
|
|
/// </exception>
|
|
|
|
/// </exception>
|
|
|
|
|
|
|
|
/// <exception cref="InvalidOperationException">
|
|
|
|
|
|
|
|
/// The response has already been sent.
|
|
|
|
|
|
|
|
/// </exception>
|
|
|
|
|
|
|
|
/// <exception cref="ObjectDisposedException">
|
|
|
|
|
|
|
|
/// This object is closed.
|
|
|
|
|
|
|
|
/// </exception>
|
|
|
|
public void Redirect (string url)
|
|
|
|
public void Redirect (string url)
|
|
|
|
{
|
|
|
|
{
|
|
|
|
|
|
|
|
checkDisposedOrHeadersSent ();
|
|
|
|
if (url == null)
|
|
|
|
if (url == null)
|
|
|
|
throw new ArgumentNullException ("url");
|
|
|
|
throw new ArgumentNullException ("url");
|
|
|
|
|
|
|
|
|
|
|
|
|