Opened 2 years ago

Closed 2 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:
Has a Patch: yes 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 2 years ago.
Report
0001-Fix-crash-with-missing-midi_settings.patch (2.5 KB) - added by humdinger 2 years ago.
Fixing patch

Download all attachments as: .zip

Change History (7)

Changed 2 years ago by leszek

Report

comment:1 Changed 2 years ago by leszek

Has a Patch: set

comment:2 Changed 2 years ago by leszek

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.

Changed 2 years ago by humdinger

Fixing patch

comment:3 Changed 2 years ago by humdinger

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

comment:4 Changed 2 years ago by diver

Component: - GeneralPreferences/Media

comment:5 Changed 2 years ago by humdinger

Resolution: fixed
Status: newclosed

Fixed with hrev51051.

Note: See TracTickets for help on using tickets.