Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Index: shared-resources/js/engage_plugins/search.js
- ===================================================================
- --- shared-resources/js/engage_plugins/search.js (revision 13291)
- +++ shared-resources/js/engage_plugins/search.js (working copy)
- @@ -119,8 +119,8 @@
- {
- this.display = true;
- }
- - // If the relevance is greater than zero and a search value exists
- - else if (relevance > 0)
- + // If the relevance is greater than or equal to zero and a search value exists
- + else if (relevance >= 0)
- {
- this.display = true;
- // Add new Markers
- @@ -249,7 +249,9 @@
- segmentsAvailable = segmentsAvailable && (dataStor['search-results'].result.segments !== undefined) && (dataStor['search-results'].result.segments.segment.length > 0);
- if (segmentsAvailable)
- {
- + $.log("Segments are available (length = " + dataStor['search-results'].result.segments.segment.length + ")");
- dataStor['search-results'].result.segments.currentTime = $.getTimeInMilliseconds(Opencast.Player.getCurrentTime());
- + $.log("Current time: " + dataStor['search-results'].result.segments.currentTime);
- // Set Duration until this Segment ends
- var completeDuration = 0;
- $.each(dataStor['search-results'].result.segments.segment, function (i, value)
Advertisement
Add Comment
Please, Sign In to add comment