Patch for Mono-2.2 to fix UseDefaultUserCredentials() (RSS-Manager working now!)

mojoPortal is no longer supported on mono. This forum is here for archival purposes.

This thread is closed to new posts. You must sign in to post in the forums.
1/19/2009 9:08:41 AM
Gravatar
Total Posts 44

Patch for Mono-2.2 to fix UseDefaultUserCredentials() (RSS-Manager working now!)

I have got an error on the mojoPortal-2-2-8-2-c with Mono-2.2.

As Joe Audette told me, this must be a mono bug, i tried fixing it with success.

Here is the patch, which is already commited to the mono team, if you need it NOW.

Index: HttpWebRequest.cs
===================================================================
--- HttpWebRequest.cs (revision 123791)
+++ HttpWebRequest.cs (working copy)
@@ -538,15 +538,10 @@
}

#if NET_2_0
- [MonoTODO]
public override bool UseDefaultCredentials
{
- get {
- throw GetMustImplement ();
- }
- set {
- throw GetMustImplement ();
- }
+ get { return CredentialCache.DefaultCredentials == Credentials; }
+ set { Credentials = value ? CredentialCache.DefaultCredentials : null; }
}
#endif
 

The patch is also avaible here: pastebin.com/f47708af8

 

 

1/19/2009 9:13:39 AM
Gravatar
Total Posts 44

Re: Patch for Mono-2.2 to fix UseDefaultUserCredentials() (RSS-Manager working now!)

Oh i named the title wrong, should be UseDefaultCredentials()

sorry

1/19/2009 9:28:33 AM
Gravatar
Total Posts 18439

Re: Patch for Mono-2.2 to fix UseDefaultUserCredentials() (RSS-Manager working now!)

Great work Hefti!

If its already commited, I'll just get the latest from Mono svn.

Best,

Joe

You must sign in to post in the forums. This thread is closed to new posts.