// // Import constants // var CMD_NONE = ; var CMD_PAUSE = ; var CMD_PLAY = ; var CMD_STOP = ; var CMD_FASTFWD = ; var CMD_SLOWFWD = ; var CMD_SLOWREV = ; var CMD_FASTREV = ; var CMD_ZOOMIN = ; var CMD_ZOOMOUT = ; var CMD_PAN = ; var CMD_SCALE = ; var CMD_PREV = ; var CMD_NEXT = ; var CMD_SEEK = ; var CMD_QUERY = ; var SCALE_BASE = ; // // PHP variables to JS // var connKey = ''; var eventData = { Id: 'Id() ?>', MonitorId: 'MonitorId() ?>', Width: 'Width() ?>', Height: 'Height() ?>', Length: 'Length() ?>', StartTime: 'StartTime() ?>', EndTime: 'EndTime() ?>', Frames: 'Frames() ?>', MonitorName: 'Name()) ?>' }; var monitorUrl = 'Storage()->Server()->UrlToIndex(); ?>'; var filterQuery = ''; var sortQuery = ''; var rates = ; var rate = ''; // really only used when setting up initial playback rate. var scale = ""; var LabelFormat = "LabelFormat())?>"; var canEditEvents = ; var streamTimeout = ; var canStreamNative = ; var streamMode = ''; // // Strings // var deleteString = ""; var causeString = ""; var WEB_LIST_THUMB_WIDTH = ''; var WEB_LIST_THUMB_HEIGHT = ''; var popup = '';