[chronojump] Fixed video problem on raspberry

[Xavier de Blas <xaviblas src gnome org>]

commit 76f3afb5504c38a8b0f09b1c1e3bdf29806a6a72
Author: Xavier de Blas <xaviblas gmail com>
Date:   Tue Mar 10 17:34:24 2015 +0100

    Fixed video problem on raspberry

 src/gui/encoder.cs |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/src/gui/encoder.cs b/src/gui/encoder.cs
index 2f31e05..71ebe7e 100644
--- a/src/gui/encoder.cs
+++ b/src/gui/encoder.cs
@@ -5678,7 +5678,7 @@ LogB.Debug("D");
        }
 
        static PlayerBin playerEncoder;
-       private void playVideoEncoderInitialSetup() 
+       private void playVideoEncoderInitialSetup() //this does not work on raspberry
        {
                LogB.Information("Prepare video encoder");
                playerEncoder = new PlayerBin();
@@ -5691,6 +5691,9 @@ LogB.Debug("D");
                string file = Util.GetVideoFileName(currentSession.UniqueID, 
                                Constants.TestTypes.ENCODER, Convert.ToInt32(encoderSignalUniqueID));
 
+               if(playerEncoder == null) //useful for raspberry because this is not initialized
+                       return;
+
                if(file == null || file == "" || ! File.Exists(file)) {
                        playerEncoder.Hide();
                        return;