No server reported error, just hanged in browser for very long time
and then showed "Page cannot be displayed". Ticket browsing and
searching worked. It hanged on newticket url after filling the form
and pressing button to create new ticket.
On Sat, Jan 30, 2016 at 12:15 PM, Volker Braun <vbraun.n...@gmail.com> wrote:
> Trac works for me... what exactly was the error you got? HTTP 408?
>
>
> On Saturday, January 30, 2016 at 11:48:07 AM UTC+1, Andrzej Giniewicz wrote:
>>
>> Hello,
>>
>> I wanted to open issue in Trac about it, but I'm getting time limit
>> exceeded on creating issue, so I decided I send it here.
>>
>> Saving SVG with TeX fails in Sage 7.0 due to bug in Matplotlib 1.5.0.
>> It is already fixed upstream in Matplotlib 1.5.1, so simple update to
>> new stable release will fix it. There is the issue:
>>
>> {{{
>> import matplotlib
>> matplotlib.rc('text', usetex=True)
>> point((0,0)).save("test.svg")
>> }}}
>>
>> raises
>>
>> {{{
>> RuntimeError: In select_charmap: Could not set the charmap
>> }}}
>>
>> Explanation for error is in one comment on matplotlib github:
>> https://github.com/matplotlib/matplotlib/pull/5770#issuecomment-168212746
>>
>> Regards,
>> Andrzej.
>>
>> PS.: Is Trac but is it undergoing some mainteance currently?
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
