Guest User

Untitled

a guest
Nov 27th, 2012
140
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.48 KB | None | 0 0
  1. Index: shared-resources/js/engage_plugins/search.js
  2. ===================================================================
  3. --- shared-resources/js/engage_plugins/search.js (revision 13291)
  4. +++ shared-resources/js/engage_plugins/search.js (working copy)
  5. @@ -119,8 +119,8 @@
  6. {
  7. this.display = true;
  8. }
  9. - // If the relevance is greater than zero and a search value exists
  10. - else if (relevance > 0)
  11. + // If the relevance is greater than or equal to zero and a search value exists
  12. + else if (relevance >= 0)
  13. {
  14. this.display = true;
  15. // Add new Markers
  16. @@ -249,7 +249,9 @@
  17. segmentsAvailable = segmentsAvailable && (dataStor['search-results'].result.segments !== undefined) && (dataStor['search-results'].result.segments.segment.length > 0);
  18. if (segmentsAvailable)
  19. {
  20. + $.log("Segments are available (length = " + dataStor['search-results'].result.segments.segment.length + ")");
  21. dataStor['search-results'].result.segments.currentTime = $.getTimeInMilliseconds(Opencast.Player.getCurrentTime());
  22. + $.log("Current time: " + dataStor['search-results'].result.segments.currentTime);
  23. // Set Duration until this Segment ends
  24. var completeDuration = 0;
  25. $.each(dataStor['search-results'].result.segments.segment, function (i, value)
Advertisement
Add Comment
Please, Sign In to add comment