Help save net neutrality! Learn more.
Close

#19 Fix pinboard error when reading non-default options

closed-accepted
None
5
2001-02-07
2001-02-07
No

When the pinboard options have been changed from their default values,
the new xml-based options mechanism makes a call to
pinboard_check_options() before the pinboard has been
initialized. This caused a warning about current_pinboard being
undefined. This patch fixes that problem.

Discussion

  • Diego Zamboni

    Diego Zamboni - 2001-02-07

    None

     
  • Thomas Leonard

    Thomas Leonard - 2001-02-07
    • assigned_to: nobody --> tal197
    • status: open-accepted --> closed-accepted
     

Log in to post a comment.