Opened 3 years ago

Closed 3 years ago

#13402 closed bug (fixed)

Media Preference does not open (crashes)

Reported by: leszek Owned by: nobody
Priority: normal Milestone: Unscheduled
Component: Preferences/Media Version: R1/Development
Keywords: Cc:
Blocked By: Blocking:
Platform: All

Description

Since I removed /boot/home/config/settings/Media the Media preference crashes on startup. I am unable to open it up.

Haiku Rev51048

Attachments (2)

Media-598-debug-28-03-2017-17-45-47.report​ (12.8 KB ) - added by leszek 3 years ago.
Report
0001-Fix-crash-with-missing-midi_settings.patch​ (2.5 KB ) - added by humdinger 3 years ago.
Fixing patch

Download all attachments as: .zip

Change History (7)

by leszek, 3 years ago

Attachment: Media-598-debug-28-03-2017-17-45-47.report​ added

Report

comment:1 by leszek, 3 years ago

patch: 0 → 1

comment:2 by leszek, 3 years ago

It seems like it is trying to open a non existent /boot/home/config/settings/Media/midi_settings file. Creating that file manually and adding a 

soundfont "/boot/home/yoursoundfont.sf2"

entry makes Media Preference open again.

by humdinger, 3 years ago

Attachment: 0001-Fix-crash-with-missing-midi_settings.patch​ added

Fixing patch

comment:3 by humdinger, 3 years ago

Attached patch fixes the crash. I let someone else look over it first...

comment:4 by diver, 3 years ago

Component: - General → Preferences/Media

comment:5 by humdinger, 3 years ago

Resolution: → fixed
Status: new → closed

Fixed with hrev51051.

Note: See TracTickets for help on using tickets.