Bugfix change device source resolution

DeviceSource.cpp

@@ -384,10 +384,13 @@ void DeviceSource::setDevice(const std::string &devicename)
 
         pipeline << " ! videoconvert";
 
+        dettach();
+
         // open gstreamer
         stream_->open( pipeline.str(), best.width, best.height);
         stream_->play(true);
 
+
         // will be ready after init and one frame rendered
         ready_ = false;
     }

Source.cpp

@@ -425,6 +425,13 @@ void Source::render()
     }
 }
 
+void Source::dettach()
+{
+    // replace renderbuffer_
+    if (renderbuffer_)
+        delete renderbuffer_;
+    renderbuffer_ = nullptr;
+}
 
 void Source::attach(FrameBuffer *renderbuffer)
 {

Source.h

@@ -246,6 +246,7 @@ protected:
     // NB: rendershader_ is applied at render()
     FrameBuffer *renderbuffer_;
     void attach(FrameBuffer *renderbuffer);
+    void dettach() ;
 
     // the rendersurface draws the renderbuffer in the scene
     // It is associated to the rendershader for mixing effects