Modify ↓
Opened 15 years ago
Closed 14 years ago
#6606 closed defect (fixed)
Png file generate bug while refresh the page
Reported by: | Robin | Owned by: | robert_martin |
---|---|---|---|
Priority: | normal | Component: | DiaVisViewPlugin |
Severity: | normal | Keywords: | |
Cc: | Trac Release: | 0.11 |
Description
It seems that each time when you refresh the page, the png file would generate automatically if you haven't set the png file width on the wiki. Here is my solution: Change the code
if (dia_mtime > png_mtime) or (existing_width != width):
to
if (dia_mtime > png_mtime) or (existing_width != width and width != None):
That's all.
Attachments (0)
Change History (2)
comment:1 Changed 14 years ago by
comment:2 Changed 14 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
The patch seems fine.