Merge branch 'bug_672_removed_pvr_device' into experimental

diff --cc lib/dvb/decoder.cpp
Simple merge

diff --cc lib/dvb/dvb.cpp
index c2ddb40,399e9f5..6f9a67f
--- 1/lib/dvb/dvb.cpp
--- 2/lib/dvb/dvb.cpp
+++ b/lib/dvb/dvb.cpp
@@@ -522,7 -520,7 +522,7 @@@ RESULT eDVBResourceManager::allocateDem
                        }
                }
        }
-       else if (m_boxtype == DM8000 || m_boxtype == DM7020HD)
 -      else if (m_boxtype == DM8000 || m_boxtype == DM500HD || m_boxtype == DM800SE)
++      else if (m_boxtype == DM8000 || m_boxtype == DM500HD || m_boxtype == DM800SE || m_boxtype == DM7020HD)
        {
                cap |= capHoldDecodeReference; // this is checked in eDVBChannel::getDemux
                for (; i != m_demux.end(); ++i, ++n)

diff --cc lib/dvb/idvb.h
Simple merge

diff --cc lib/dvb/pmt.cpp
Simple merge

diff --cc lib/dvb/pmt.h
Simple merge