Потоковое видео rtsp на сайте

Задача: есть IP камера вещающая по протоколу rtsp. В html5 стандарте, этот протокол не поддерживается. Ни один флеш и javascript плеер, его так-же не воспроизводят. С плагинами в браузер — бред.

Решение: при помощи ngnix конвертируем видео в удобовариваемый формат. Решение стырено с: http://conture.by/post/1552#more-1552

Для начала необходимые пакеты:

Устанавливать nginx надо не через apt-get, а из исходников.

Далее открываем конфиг nginx расположенный /etc/nginx/nginx.conf и правим под себя. У меня он следующий…

Проверяем корректность нашего конфига nginx:

Если всё ок, то запускаем nginx:

Проверяем льётся ли что-нибудь на порт 1935. Выхлоп должен идти прямо в консоль.

Если есть выхлоп, то гуд. Приступаем к установке Flash-плеера на сайт. Качаем и распаковываем папку архива на сайт.
Содержимое html-страницы где будет встроен плеер должно иметь следующую структуру:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
<script src="/jwplayer/jwplayer.js" type="text/javascript"></script>
<div id="contain">Loading the player ...</div>
<script>
jwplayer("contain").setup({
  autostart:!0,
  height:600,
  width:800,
  modes:[{
   type:"flash",
   src:"/jwplayer/player.swf",
   config:{file:"live",streamer:"rtmp://внешний_ip_сервера_rtmp/infochan",provider:"rtmp"}
  }]
});
</script>

 

Простой сервер websockets на php

Фактически это каркас, для создания «чего-то поинтереснее» . Чисто логика, ничего лишнего.

javascript клиент:

php server:

По мотивам: https://habrahabr.ru/post/209864/ и https://learn.javascript.ru/websockets

Mysql сортировка текстового поля как числа

Задача: отсортировать некое текстовое поле, чтобы сортировка шла, как будто в нем находится число, а не текст.

Решение:

Функция CAST имеет следующий синтаксис:
CAST(expression AS type)
,где аргумент type представляет один из типов:

  • BINARY
  • CHAR (Новшество в 4.0.6)
  • DATE
  • DATETIME
  • SIGNED {INTEGER}
  • TIME
  • UNSIGNED {INTEGER}

php. Проверка, не запущен ли уже скрипт?

Дабы избежать повторного запуска скрипта, пока не отработал предыдущий запуск, можно применить такую проверку:

Не работает меню Пуск на Windows 10

Испробовано куча рецептов из интернета с правкой реестра, переустановкой компонентов из PowerShell. Не помогло. Нашел свой рецепт. Правда поможет только если у вас заведено несколько пользователей в системе. Или создайте пользователя, и воспользуйтесь им. Суть «ремонта»: нужно скопировать папку C:\Users\<Имя пользователя>\AppData\Local\TileDataLayer\Database\ из того пользователя, под которым «Пуск» работает, в того у которого не работает.

1 160 161 162 163 164 282