
Recherche avancée
Médias (2)
-
Rennes Emotion Map 2010-11
19 octobre 2011, par
Mis à jour : Juillet 2013
Langue : français
Type : Texte
-
Carte de Schillerkiez
13 mai 2011, par
Mis à jour : Septembre 2011
Langue : English
Type : Texte
Autres articles (69)
-
Creating farms of unique websites
13 avril 2011, parMediaSPIP platforms can be installed as a farm, with a single "core" hosted on a dedicated server and used by multiple websites.
This allows (among other things) : implementation costs to be shared between several different projects / individuals rapid deployment of multiple unique sites creation of groups of like-minded sites, making it possible to browse media in a more controlled and selective environment than the major "open" (...) -
Le profil des utilisateurs
12 avril 2011, parChaque utilisateur dispose d’une page de profil lui permettant de modifier ses informations personnelle. Dans le menu de haut de page par défaut, un élément de menu est automatiquement créé à l’initialisation de MediaSPIP, visible uniquement si le visiteur est identifié sur le site.
L’utilisateur a accès à la modification de profil depuis sa page auteur, un lien dans la navigation "Modifier votre profil" est (...) -
Configurer la prise en compte des langues
15 novembre 2010, parAccéder à la configuration et ajouter des langues prises en compte
Afin de configurer la prise en compte de nouvelles langues, il est nécessaire de se rendre dans la partie "Administrer" du site.
De là, dans le menu de navigation, vous pouvez accéder à une partie "Gestion des langues" permettant d’activer la prise en compte de nouvelles langues.
Chaque nouvelle langue ajoutée reste désactivable tant qu’aucun objet n’est créé dans cette langue. Dans ce cas, elle devient grisée dans la configuration et (...)
Sur d’autres sites (6444)
-
ctrl+c doesn't wait for child process (background process) to finish with trap
11 avril 2019, par phischI have a script which registers a SIGINT trap and starts a ffmpeg background process that records part of the screen. The SIGINT trap sends a SIGINT signal to the background ffmpeg process to get it to gracefully stop and finish the recording.
When this script is run in a terminal, and terminated from a separate terminal with
kill -INT [SCRIPT_PID]
, the ffmpeg background process terminates gracefully and outputs confirmation in terminal 1.When the script is run in a terminal and stopped with
ctrl+c
the background process just dies instantly. (even if ctrl+c should just send a SIGINT signal)Why does ctrl+c behave differently than killing the script with
kill -INT
in this case ?
How can i make sure the ffmpeg background process ends gracefully when ending the script with ctrl+c ?#!/bin/bash
exit_script() {
kill -INT $ffmpeg_pid
wait $ffmpeg_pid
printf "\n\nffmpeg should say 'exiting normally, received signal 2' before this message is printed!\n\n"
}
trap exit_script SIGINT
ffmpeg -f x11grab -s 500x500 -i :0.0+0,0 ~/video_`date +%s`.webm &
ffmpeg_pid=$!
waitedit : it seems like ffmpeg receives 2 int signals in the case of
ctrl+c
, but i don’t know why -
Revision 65b93c7e52 : Improved auto_partition_range. The code now takes into account temporal and spa
27 septembre 2013, par Paul WilkinsChanged Paths :
Modify /vp9/encoder/vp9_encodeframe.c
Modify /vp9/encoder/vp9_onyx_if.c
Modify /vp9/encoder/vp9_onyx_int.h
Improved auto_partition_range.The code now takes into account temporal and spatial
information to determine the partition size range, but the
frequency counts have been removed.The net effect is similar in quality but about 10% faster.
Change-Id : I39a513fb79cec9177b73b2a7218f0da70963ae95
-
Improved memory handling with image processing + JSHint compatibility updates.
1er décembre 2013, par blueimpImproved memory handling with image processing + JSHint compatibility updates.