Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.

...

Checking mergeability… Don’t worry, you can still create the pull request.

2 commits
3 files changed
1 contributor

Commits on Sep 11, 2022

embed: add locking

Previously multiple threads could run embed simultaneously. This resulted in
multiple REPLs using the same shell, which produced a very broken user
experience.

This patch introduces locking around rlpython.embed(), to serialize calls and
access to the shell.

Signed-off-by: Florian Scherf <mail@florianscherf.de>

fscherf committed Sep 11, 2022

frontend: replace process group magic with simple os.system call
```
Signed-off-by: Florian Scherf <mail@florianscherf.de>
```
fscherf committed Sep 11, 2022
Configuration menu
View commit details

Copy full SHA for f0118ff

Browse repository at this point
Copy the full SHA

f0118ff View commit details

Browse the repository at this point in the history