diff options
| author | Alon Levy <alevy@redhat.com> | 2011-03-24 18:17:17 +0200 |
|---|---|---|
| committer | Alon Levy <alevy@redhat.com> | 2011-08-23 17:01:14 +0300 |
| commit | 75b6a305ff9c42a89c9db91277027d5dc6d103ef (patch) | |
| tree | 0146ac8ee12af43d10c92bf74fbc53e5e3b024c1 /python_modules/marshal.py | |
| parent | 8fbc41b717fc18e7d73a48255b88b5a21e580d32 (diff) | |
| download | spice-75b6a305ff9c42a89c9db91277027d5dc6d103ef.tar.gz spice-75b6a305ff9c42a89c9db91277027d5dc6d103ef.tar.xz spice-75b6a305ff9c42a89c9db91277027d5dc6d103ef.zip | |
server/red_worker: drop red_pipe_add_tail, use red_channel_pipe_add_tail
The only difference between them being that the later also does a push.
I don't believe that to be a problem, but if it does I can always introduce
a push'less version.
Diffstat (limited to 'python_modules/marshal.py')
0 files changed, 0 insertions, 0 deletions