arctica-greeter/src/settings-daemon.vala, branch pr/travis-ci Arctica Greeter: Greeter Frontend for LightDM https://openid.arctica-project.org/arctica-greeter/atom?h=pr%2Ftravis-ci 2018-06-21T13:34:50+00:00 Posix.Signal.<SIG>: Provide old-style Posix.SIG<SIG> API calls if built with Vala API version << 0.40. (Fixes FTBFS on Debian 9). 2018-06-21T13:34:50+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2018-06-21T13:34:50+00:00 urn:sha1:b64aabd538656abff8a090477a2225c37fbd9976 Use Posix.Signal.* rather than Posix.SIG*. (Vala 0.40 deprecations). 2018-06-16T21:35:22+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2018-06-16T21:35:22+00:00 urn:sha1:b12c6d9683451f8b40bfe4d03a14c6aef96fa4b1 White-space cleanup. Removing superfluous EOL white-spaces. 2017-12-07T07:54:06+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2017-12-07T07:53:43+00:00 urn:sha1:f22b7af95e0b6a1d860d1893eced6fcef5319a58 copyright holdership: Add myself as copyright holder and author to file headers of files I have worked on. 2017-10-26T12:05:59+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2017-10-26T12:05:59+00:00 urn:sha1:b78391b76207643b1c4d8ad6b7550c503c3c32e9 src/settings_daemon.vala: sd_pid is a private property. 2017-06-20T21:17:44+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2017-06-20T21:17:44+00:00 urn:sha1:d297788f86ff97eaa21c04c8878f358aed6ed989 rebase debug PID 2017-06-20T13:37:30+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2017-06-20T13:37:30+00:00 urn:sha1:d14e5d872a308990140f677dd718807311984fa7 debugging: Print out process PIDs for launched subprocesses. 2017-06-20T13:31:58+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2017-06-20T13:31:58+00:00 urn:sha1:54ff85c43d86c3ec4c02734d7487f2737f03f7ab src/settings-daemon.vala: Make sure the SettingsDaemon subprocess gets killed when greeter exits. 2017-06-08T19:25:39+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2017-06-08T19:25:39+00:00 urn:sha1:2e747f6997549ed7b1edbdb3e6b1eb6707827975 src/settings-daemon.vala: Flaw when switching to m-s-d. The media-keys plugin is to be diabled. 2017-06-07T14:19:47+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2017-06-07T14:19:47+00:00 urn:sha1:49f36af4f04d9da32f7f870fcfa0644f8afc7e73 src/settings-daemon.vala: Avoid race condition that could launch the settings daemon twice. 2017-06-07T14:12:20+00:00 Mike Gabriel mike.gabriel@das-netzwerkteam.de 2017-06-07T14:12:20+00:00 urn:sha1:010986474f7fca8fd385f3722a5260f89333a7de